| I doubt pedagogics was an important part of your goal with GADTs, but now | several people wish that "deriving Show" worked so that GADTs could be used for | everything.
You mean, if the data type being defined doesn't actually use the generality of GADTs, allow GADT syntax, and deriving() too? S _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
