RE: Solution to the monomorphism restriction/implicit parameter problem

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