Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T9838a.hs
1 {-# LANGUAGE TypeFamilies, ConstraintKinds #-}
2
3 module T9838a where
4
5 type EqShow a = (Eq a, Show a)
6
7 type family F a
8 type instance F Int = Bool