Solution to the monomorphism restriction/implicit parameter problem

[Ben Rudiak-Gould]

I wrote:

> My solution *is* the Right Thing. :-)

What I meant is: it always preserves the validity of inlining, it always
preserves sharing, and it rejects otherwise-correct programs only in
situations which are (I expect) uncommon in practice.

-- Ben