tyThingCoAxiom other         = pprPanic "tyThingCoAxiom" (pprTyThing other)
tyThingCoAxiom other         = pprPanic "tyThingCoAxiom" (pprTyThing other)
tyThingCoAxiom other         = pprPanic "tyThingCoAxiom" (pprTyThing other)