tyThingTyCon other       = pprPanic "tyThingTyCon" (pprTyThing other)
tyThingTyCon other       = pprPanic "tyThingTyCon" (pprTyThing other)
tyThingTyCon other       = pprPanic "tyThingTyCon" (pprTyThing other)