-- In GADT syntax we don't allow infix constructors
        -- so if we ever trip over one (albeit I can't see how that
        -- can happen) print it like a prefix one

-- this fallthrough would happen with a non-GADT-syntax ConDecl with more
-- than one constructor, which should indeed be impossible
pprConDecl (ConDecl { con_names = cons }) = pprPanic "pprConDecl" (ppr cons)
pprConDecl (ConDecl { con_names = cons }) = pprPanic "pprConDecl" (ppr cons)
pprConDecl (ConDecl { con_names = cons }) = pprPanic "pprConDecl" (ppr cons)