testsuite/tests/polykinds/PolyKinds04.hs


1
2
3
4
5
6
7
8


module PolyKinds04 where

data A f
data B = B1 (A Maybe)

-- Should fail. `A` is kind checked alone, and its kind is defaulted to * -> *.
-- The constructor `B1` then uses `A` with the wrong kind.