data vs. newtype, abstractly

Dean Herington heringto@cs.unc.edu
Sat, 8 Mar 2003 22:36:57 -0500 (EST)


If a type that could be defined either by `data` or `newtype` (i.e., a
single-constructor type) is exported abstractly (without its constructor),
can the user of the type tell how the type was declared?

Dean