GADT3.hs 532 Bytes