pub fn arrow_apply_ty() -> Expr
ArrowApply : Type → Type → Type
ArrowApply (ArrowMonad): arrows that support application (app :: arr (arr a b, a) b).