[Haskell-cafe] Type extensions

[Henning Thielemann]

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. :-)