[Haskell-cafe] Type synonyms considered harmful?

[Phil Ruffwind]

> But in a public library, finding out that a type X is actually 'Either z'
> kind of blocks the way

It does.  It's quite annoying to have to jump through several layers
of indirections especially since (currently) Haddock-generated
documentation requires you to click through the link to see what it's
aliased to (a mouseover tooltip would be really nice to have!).  I
would rather just document each parameter using the `-- ^` syntax.