You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Describe the solution you'd like
More than most other functions, I think of a lifting function like lift[A-Z][2-9] as a unary function that takes a function-to-be-lifted and returns a function of N arguments. I therefore think that this output shows what's going on more clearly and doesn't waste a vertical line (the first argument is often very short — nearly always an operator or a function with no arguments):