Mixture of Integer and Float arithmetic without "fromIntegral"?

[Malcolm Wallace]

> >   module Defs where
> > 
> >   n = 3
> >   x = 12.3
> > 
> >   test = ceiling (x / n)
> 
> There are people (including me) who think that the monomorphism
> restriction rule, which makes the above definitions without type
> signatures monomorphic and thus defaulted to concrete types, should
> be removed.

If you want to experiment with an implementation that do not enforce
the monomorphism restriction, try nhc98.  It happily infers the types

   n :: Num a => a
   x :: Fractional a => a

for the toplevel definitions shown.  I don't think anyone has ever
complained about this feature.

Regards,
    Malcolm