pub fn applicative_ty() -> Expr
Applicative : (Type → Type) → Type
An applicative functor with pure and <*>.