> Is there a way to make it a compile time error?? http://en.wikibooks.org/wiki/Haskell/GADT It may pay off talking about your specific use case. Marc Weber