Typed.Expr.ty as function