Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T7805.hs
1 {-# LANGUAGE DataKinds, RankNTypes, TypeFamilies #-}
2 module T7805 where
3
4 data HigherRank = HR (forall a. a -> a)
5
6 type family F (x :: HigherRank)
7 type instance F (HR x) = Bool