pub fn lift_m1<MA, MB, A, B, F>(f: F, a: MA) -> MBwhere F: Fn(A) -> B, MA: for<'a> Bind<'a, A, Target<B> = MB>, MB: Pure<B>,
lift_m1 provides a default implementation for Functor::fmap using only Bind and Pure.
lift_m1
Functor::fmap
Bind
Pure