pub fn bind<Brand, F, A, B>( ma: &Apply<Brand, A>, ) -> impl Fn(&F) -> Apply<Brand, B>where Brand: Kind<A> + Kind<B> + Bind, F: Fn(&A) -> Apply<Brand, B>, Apply<Brand, B>: Clone,
forall m a b. Bind m => m a -> (a → m b) → m b