Hi, > data T -- has 1 value: _|_ Minor nitpick: that Hugs and GHCi accept it, doesn't mean it's legal Haskell'98. Otherwise we would have existential and universal quantified types as well :-) Cheers, Jan