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

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

f :: Integer
f = 32

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