Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T6054a.hs
1 {-# LANGUAGE PolyKinds, FunctionalDependencies, KindSignatures, MultiParamTypeClasses, DataKinds #-}
2
3 module T6054a where
4
5 class Bar a (p :: Bool) | a -> p
6 data Proxy a = Proxy deriving Show