TH_localname.hs:3:11: error:
    • Ambiguous type variable ‘m0’ arising from a quotation bracket
      prevents the constraint ‘(Language.Haskell.TH.Syntax.Quote
                                  m0)’ from being solved.
      Relevant bindings include
        x :: t0 -> m0 Language.Haskell.TH.Syntax.Exp
          (bound at TH_localname.hs:3:1)
      Probable fix: use a type annotation to specify what ‘m0’ should be.
      Potentially matching instance:
        instance Language.Haskell.TH.Syntax.Quote IO
          -- Defined in ‘Language.Haskell.TH.Syntax’
        ...plus one instance involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    • In the expression:
        [| y |]
        pending(rn) [<y, Language.Haskell.TH.Syntax.lift y>]
      In the expression:
        \ y
          -> [| y |]
             pending(rn) [<y, Language.Haskell.TH.Syntax.lift y>]
      In an equation for ‘x’:
          x = \ y
                -> [| y |]
                   pending(rn) [<y, Language.Haskell.TH.Syntax.lift y>]