relnotes: Add mention of QuantifiedConstraints
[ghc.git] / testsuite / tests / dependent / should_fail / KindLevelsB.hs
1 {-# LANGUAGE DataKinds, PolyKinds #-}
2
3 module KindLevels where
4
5 data A
6 data B :: A -> *
7 data C :: B a -> *
8 data D :: C b -> *
9 data E :: D c -> *