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