Christian This isn't a bug. See Section 4.5.5 of the Haskell Report, http://haskell.org/onlinereport/decls.html in the second bullet under the sub-heading "Motivation". Your (bi, las) binding is essentially the same as the (n,s) binding in that bullet. Simon | -----Original Message----- | From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow-haskell-users- | bounces@haskell.org] On Behalf Of Christian Maeder | Sent: 29 November 2004 16:31 | To: Simon Peyton-Jones | Cc: GHC Users Mailing List | Subject: Re: -fno-monomorphism-restriction | | I've found a much shorter example (without imports) that does not | compile. The error displayed is: | | Ambiguous type variable `a' in the top-level constraint: | `ATermConvertibleSML a' | arising from use of `las' at | /home/maeder/haskell/examples/NoMonoRestr.hs:29 | | (comenting out the initial "OPTIONS" line, will make it go through) | | Cheers Christian