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