Fix #11334.
[ghc.git] / testsuite / tests / dependent / should_fail / T11334.hs
1 {-# LANGUAGE DataKinds, NoPolyKinds #-}
2
3 module T11334 where
4
5 import Data.Functor.Compose
6 import Data.Proxy
7
8 p = Proxy :: Proxy 'Compose