1 Jun
2005
1 Jun
'05
11:12 a.m.
On Wed, 1 Jun 2005, Thomas Davie wrote:
On 1 Jun 2005, at 15:54, Henning Thielemann wrote:
What about
data MyTree a = Branch a (MyTree a) (MyTree a) | Node a
and the types MyTree () MyTree Bool MyTree (Bool, Int) ?
That's exactly what I would normally do, but my data type is in a library and is not parameterised.
Then it is the wrong library. :-)