pprCtO DefaultOrigin         = ptext (sLit "a 'default' declaration")
pprCtO DefaultOrigin         = ptext (sLit "a 'default' declaration")
pprCtO DefaultOrigin         = ptext (sLit "a 'default' declaration")