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