Could you tell me some Hackage Libraries that make use (heavy or not) of GADTs?