‘foo’ is not in the type environment at a reify

Lib3.hs

{-# LANGUAGE DataKinds, FlexibleInstances, OverloadedLabels, TemplateHaskell, TypeFamilies, TypeOperators #-}

module Lib3 where

import ClassyPrelude
import Language.Haskell.TH

reifyQ :: Name -> Q Exp
reifyQ name = do
  r <- reify name
  pure . LitE . StringL . show $ r

Lib4.hs

{-# LANGUAGE DataKinds, OverloadedLabels, TemplateHaskell #-}

module Lib4 where

import ClassyPrelude
import Lib3

foo :: Int
foo = 1

printR :: IO ()
-- Error on the next line as described in the title.
-- Fixed by inserting 'return []' at L10.
printR = putStrLn $(reifyQ 'foo)

Lib4.hs, variant

{-# LANGUAGE DataKinds, OverloadedLabels, TemplateHaskell #-}

module Lib4 where

import ClassyPrelude
import Lib3

foo :: Int
foo = 1

return []

printR :: forall a. a -> IO ()
printR x =
  -- Same error as foo in the original Lib4.hs.
  putStrLn $(reifyQ 'x)