hls-splice-plugin-1.0.0.3: test/testdata/TTypeTypeError.expected.hs

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TemplateHaskell #-}
module TTypeTypeError where
import Language.Haskell.TH ( appT, numTyLit, litT, conT )
import Data.Proxy ( Proxy )

main :: IO (Proxy 42)
main = return ()