Re: class instance with nested types

I mumbled:

This is not a legal type expression, since Tree is a type constructor, not a ground type, so you cannot apply it to the list constructor.

The other way round, of course: you cannot apply the list constructor to it. - Andreas -- Andreas Rossberg, rossberg@ps.uni-sb.de :: be declarative. be functional. just be. ::