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? -- Hal Daume III | [EMAIL PROTECTED] "Arrest this man, he talks in maths." | www.isi.edu/~hdaume On Sun, 9 Mar 2003, Koen Claessen wrote: > Hal Daume III wrote: > > | there is a difference between > | > | (N undefined) `seq` () > | > | and > | > | (D undefined) `seq` () > > The question stated "without its constructor". My guess is > "no". > > /K > _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell