Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T7524.hs
1 {-# LANGUAGE TypeFamilies, PolyKinds #-}
2 module T7524 where
3
4 type family F (a :: k1) (b :: k2)
5 type instance F a a = Int
6 type instance F a b = Bool