data vs. newtype, abstractly

Koen Claessen koen@cs.chalmers.se
Sun, 9 Mar 2003 12:58:49 +0100 (MET)


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