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
