Update GADT.hs