pub fn map<Brand, F, A, B>( f: F, ) -> impl Fn(Apply<Brand, (A,)>) -> Apply<Brand, (B,)>where Brand: Kind<(A,)> + Kind<(B,)> + Functor, F: Fn(A) -> B,
forall a b. Functor f => (a -> b) -> f a -> f b