hls-eval-plugin-1.1.0.0: test/testdata/T22.hs.expected

module T22 where
import Data.Proxy      (Proxy (..))
import GHC.TypeNats    (KnownNat)
import Type.Reflection (Typeable)

f :: Integer
f = 32

-- >>> :t f
-- f :: Integer