Consider this:

> :t map Tuple
forall t1 t4 t5. Functor t1 => t1 t5 -> t1 (t4 -> Tuple t5 t4)

I've gotten into the habit of search/replacing the type variables (yay emacs shell mode) to produce signatures like a human might write:

forall f b a. Functor f =>  f a -> f (b -> Tuple a b)

(Notice that the numbering doesn't correspond to the order in which humans normally write. That is, my a is t5 and my b is t4.)

How about a final pass that rewrites the variables? Even t1, t2, t3 would be a help. For extra joy, common special cases (like f for functors or m for monads) could be handled.

(This issue might belong elsewhere -- I'm not yet familiar enough with the various projects to know what goes where. If so, I'll move it.)