[Haskell-cafe] Hackage libraries that make use of GADTs

Hello, Could you tell me some Hackage Libraries that make use (heavy or not) of GADTs? George -- things you own end up owning you