ghc-exactprint-0.5.1.0: tests/examples/ghc8/DepFail1.hs
{-# LANGUAGE TypeInType #-}
module DepFail1 where
data Proxy k (a :: k) = P
z :: Proxy Bool
z = P
a :: Proxy Int Bool
a = P
{-# LANGUAGE TypeInType #-}
module DepFail1 where
data Proxy k (a :: k) = P
z :: Proxy Bool
z = P
a :: Proxy Int Bool
a = P