# Mixture of Integer and Float arithmetic without "fromIntegral"?

**Marcin 'Qrczak' Kowalczyk
**
qrczak@knm.org.pl

*6 Dec 2000 19:17:44 GMT*

Wed, 06 Dec 2000 11:45:43 +0100, Christian Lescher <christian@lescher.de> pisze:
>* module Defs where
*>*
*>* n :: Num a => a
*>* n = 3
*>*
*>* x :: Fractional a => a
*>* x = 12.3
*>*
*>* test = ceiling (x / n)
*>*
*>* However, I would like to have it without writing the type signature.
*
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.
--
__("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
\__/
^^ SYGNATURA ZASTĘPCZA
QRCZAK