| That's why one should really be allowed to group constructor's in a | type's definition: | | data Colour :: * where | Red, Green, Blue :: Colour Indeed. GHC allows this now. (HEAD only; will be in 6.12.) Simon