> Report p41: why can't newtypes make use of labelled field syntax?
> newtype T = MkT { unT :: Int }, for example, is a nice way to
> define both parts of the newtype isomorphism. (Hugs already
> does this, but perhaps I should make it reject such code when
> it is running in Haskell 98 mode?)
Here is a throughly reasonable question from Mark.
I can't think of any reason not to permit labelled-field syntax
for newtypes. Unless someone else can, I'll add it to Haskell 98.
One less gotcha.
Simon
