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