GADTs and pedagogy was Re: GADTs and fundeps

Simon Peyton-Jones simonpj at
Fri Apr 8 09:25:28 EDT 2005

| I doubt pedagogics was an important part of your goal with GADTs, but
| 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?


More information about the Glasgow-haskell-users mailing list