Most recent spec was Haskell 2010, as pointed out by someone else. There is some talk of pushing for a 2014 revision which would include (among other things) removal of the monomorphism restriction — but the standards committee is notoriously conservative, and IIRC argued against that proposal in 2010.

But there has a been a lot of momentum in recent years towards removing it. Aren't we a little optimistic? Presumably the only objection is the feeling that it raises the barrier of difficulty for new implementations?

Peter