testsuite/tests/polykinds/T7805.hs


1
2
3
4
5
6
7
8

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE DataKinds, RankNTypes, TypeFamilies #-}
module T7805 where

data HigherRank = HR (forall a. a -> a)

type family F (x :: HigherRank)
type instance F (HR x) = Bool