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