idDetails other                         = pprPanic "idDetails" (ppr other)
idDetails other                         = pprPanic "idDetails" (ppr other)
idDetails other                         = pprPanic "idDetails" (ppr other)