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