Adding the implicit call-stack more than doubles the length of the type
signature! This might seem like a silly complaint, but I think there's a
real cognitive overhead there, especially when you consider that Prelude
will be one of the first modules that novices might read the haddocks
for.