aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/GADTs/constructor-kind-binder.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
module GadtConstructorKindBinder where
data T where
C :: (x :: *) -> T
{- ORACLE_TEST pass -}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
module GadtConstructorKindBinder where
data T where
C :: (x :: *) -> T