pub trait HasRecApp<F, C>: Send { fn get_applied(self: Box<Self>) -> Box<F::Applied> where F: RecApp<C>; }