Re: Inferring types

[Jon Fairbairn]

> If you define `p' as a syntactic function, e.g.
> 
>       p x y = x + y
> or
> 
>       p x = (+) x
> 
> rather than via
> 
>       p = (+)
> 
> 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'.

May I just take the opportunity to say that this is horrid?
-- 
Jón Fairbairn                                 [EMAIL PROTECTED]
18 Kimberley Road                                        [EMAIL PROTECTED]
Cambridge CB4 1HH            +44 1223 570179 (after 14:00 only, please!)