Trait ferrite_session::internal::public::prelude::NaturalTransformation
source · [−]pub trait NaturalTransformation<'a, F1, F2> where
F1: TyCon,
F2: TyCon, {
fn lift<A: 'a>(self, fa: App<'a, F1, A>) -> App<'a, F2, A>;
}