tyThingId other                       = pprPanic "tyThingId" (pprTyThing other)
tyThingId other                       = pprPanic "tyThingId" (pprTyThing other)
tyThingId other                       = pprPanic "tyThingId" (pprTyThing other)