On 09-Mar-2003, Hal Daume III <[EMAIL PROTECTED]> wrote:
> well, yes, but if you export:
>
> mkN :: Int -> N
> mkD :: Int -> D
>
> or something like that, then they'll still bea ble to tell the difference,
> right?
Not necessarily. For example mkD could be defined as
mkD x = x `seq` D x
in which case I think it would behave exactly the same as mkN.
--
Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
The University of Melbourne | of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
