Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / PolyKinds05.hs
1 {-# LANGUAGE PolyKinds #-}
2
3 module PolyKinds05 where
4
5 data A f
6 data B = B1 (A Maybe)
7
8 -- Should work. We have -XPolyKinds on, so `A` gets the polymorphic kind
9 -- forall k. k -> *