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