testsuite/tests/polykinds/PolyKinds05.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE PolyKinds                  #-}

module PolyKinds05 where

data A f
data B = B1 (A Maybe)

-- Should work. We have -XPolyKinds on, so `A` gets the polymorphic kind 
--   forall k. k -> *