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

{-# LANGUAGE DataKinds #-}
module T9 where
import Data.Proxy (Proxy(..))

type P = Proxy

-- >>> Proxy :: Proxy 3
-- Proxy