T10945.hs:7:4: error:
    • Couldn't match type ‘[Dec]’ with ‘TExp DecsQ’
      Expected type: Q (TExp DecsQ)
        Actual type: Q [Dec]
    • In the expression:
        return
          [SigD
             (mkName "m")
             (ForallT
                [PlainTV (mkName "a")]
                []
                (AppT (AppT ArrowT (VarT (mkName "a"))) (VarT (mkName "a")))),
           FunD (mkName "m") [Clause [...] (NormalB (VarE (mkName "x"))) []]]
      In the Template Haskell splice
        $$(return
             [SigD
                (mkName "m")
                (ForallT
                   [PlainTV (mkName "a")]
                   []
                   (AppT (AppT ArrowT (VarT (mkName "a"))) (VarT (mkName "a")))),
              FunD (mkName "m") [Clause [...] (NormalB (VarE (mkName "x"))) []]])
      In the expression:
        $$(return
             [SigD
                (mkName "m")
                (ForallT
                   [PlainTV (mkName "a")]
                   []
                   (AppT (AppT ArrowT (VarT (mkName "a"))) (VarT (mkName "a")))),
              FunD (mkName "m") [Clause ... (NormalB (VarE (mkName "x"))) ...]])