foo =
    reportSDoc "tc.cc" 30 $ sep $ do
        (prettyTCM q <+> " before compilation") : do
            map (prettyTCM . map unArg . clPats) cls

foo =
    reportSDoc "tc.cc" 30 $ sep $ do
        (prettyTCM q <+> " before compilation")
            : do
                map (prettyTCM . map unArg . clPats) cls
