pakoito
ap
Kind<F, (A) -> B>.ap(ff: Kind<F, A>)
structure.ap(predicates).sequence()
A modern programming language that makes developers happier.