ferrite_session::internal::base
pub fn fix<C, F>(x: F::Applied) -> Rec<C, F> where C: Send + 'static, F: Send + 'static, F: RecApp<(Rec<C, F>, C)>,