pub fn fold_explainee<F, T, T2>( folder: &mut F, node: Explainee<T>) -> Explainee<T2> where T: AstInfo, T2: AstInfo, F: Fold<T, T2> + ?Sized,