Trait NaturalTransformation
ferrite_session::prelude
pub trait NaturalTransformation<F1, F2> where F1: TyCon, F2: TyCon, { fn lift<A>(&self, fa: App<F1, A>) -> App<F2, A> where A: Send + 'static; }
fn lift<A>(&self, fa: App<F1, A>) -> App<F2, A> where A: Send + 'static,