Sat, 9 Sep 2000 00:56:46 +1100, Fergus Henderson <[EMAIL PROTECTED]> pisze:
> If you define `p' as a syntactic function, e.g.
> then the monomorphism restriction does not apply, and so the type inferred
> for `p' will be the correct polymorphic type `Num a => a -> a -> a'.
Also when an explicit type signature is given, it does not apply.
Some people think that the monomorphism restriction should be removed.
(There are no technical problems with this AFAIK.)
--
__("< Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
\__/
^^ SYGNATURA ZASTĘPCZA
QRCZAK