hls-eval-plugin-1.1.1.0: test/testdata/T9.hs
{-# LANGUAGE DataKinds #-}
module T9 where
import Data.Proxy (Proxy(..))
type P = Proxy
-- >>> Proxy :: Proxy 3
{-# LANGUAGE DataKinds #-}
module T9 where
import Data.Proxy (Proxy(..))
type P = Proxy
-- >>> Proxy :: Proxy 3