Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / KindVType.hs
1 module KindVType where
2
3 -- test printing of "type" in output, not "kind"
4
5 import Data.Proxy
6
7 foo :: Proxy Maybe
8 foo = (Proxy :: Proxy Int)