packages feed

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