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,
    Apply<Brand, (A,)>: Clone,
    F: Fn(A) -> Apply<Brand, (B,)>,

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