On 08/06/2013 4:11 PM, Peter Hall wrote:

Show a => a -> a -> String

...is not monomorphic. If you want that to be inferred, turn off the monomorphism restriction. (And yes, many people *do* consider the monomorphism restriction of standard Haskell to be a bug in the specification.)

When are we due a new spec? 1998 was quite a while ago...

Peter

2010