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