pub fn arrow_ty() -> Expr
Arrow : Type → Type → Type
Generalized function f a b with arr / >>> / *** / first.