Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T7128.hs
1 {-# LANGUAGE PolyKinds, DataKinds, MultiParamTypeClasses,
2 FunctionalDependencies
3 #-}
4
5 module T7128 where
6
7 class Foo a (b :: k) | a -> k
8 instance Foo Bool False