data vs. newtype, abstractly

[Hal Daume III]

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                                   | hdaume@isi.edu
 "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
>