Re: Hugs Bug report

[John C. Peterson]

It's not a bug, it's a feature!  When you use a pattern binding 

mul2 = map (2*)

you invoke the dreaded monomorphism restriction.  If you add a type
signature to this everything will work.  This is no different from
something like:

plus = (+)

which also fails without a type signature.

    John