1 {-# LANGUAGE RankNTypes #-}

2 {-# LANGUAGE PolyKinds #-}

7 {-

8 -- We'd like this to kind check, but it doesn't today,

9 -- see Note [Missed opportunity to retain higher-rank kinds]

11 -- TSyn is in an SCC of its own, so we can read off the

12 -- kind directly.

13 data T (p :: forall k. k -> Type) = T

14 type TSyn = T

15 -}

17 -- S and SSyn are in an SCC, so we do kind inference for

18 -- everything. Need an explicit type signature.