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, A: Clone,
forall f a b. Functor f => (a -> b) -> f a -> f b