Jules Gilbert writes:
Huh?
I don't know what this letter of yours is in response to. I have been
getting funny misdirected e-mail recently so if you are answering
something that appears to come from me I would be interested to see
the details.
Richard Platek
Sebastian suggests using some syntax other than pattern
matching to express the isomorphism involved in a newtype.
I can't see any advantage in this.
Further, Simon PJ claims that if someone has written
data Age = Age Int
foo (Age n) = (n, Age (n+1))
that we want to be able to