SyntaxRecPretty.hs: -fallow-undecidable-instances