8 Jun
2013
8 Jun
'13
4:11 p.m.
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