class instance with nested types

Andreas Rossberg
Fri, 27 Oct 2000 14:12:45 +0200

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

	- Andreas

Andreas Rossberg,

:: be declarative. be functional. just be. ::