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