Function bind

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, A>: Clone,

forall m a b. Bind m => m a -> (a → m b) → m b