class instance with nested types

Andreas Rossberg rossberg@ps.uni-sb.de
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
it.

	- Andreas

-- 
Andreas Rossberg, rossberg@ps.uni-sb.de

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