{-# LANGUAGE DataKinds                  #-}
{-# LANGUAGE GADTs                      #-}

module PolyKinds06 where


data A = A1 | A2 (B 'B1)

data B :: A -> * where
  B1 :: B 'A1

{-# LANGUAGE DataKinds, KindSignatures  #-}
{-# LANGUAGE GADTs                      #-}

module PolyKinds06 where


data A = A1 | A2 (B 'B1)

data B :: A -> * where
  B1 :: B 'A1

Add KindSignatures flag to test
Add KindSignatures flag to test
