Fix bug in generated PrinterLANG.hs (GADT backend)