haskell-src-exts-1.17.0: tests/examples/PolyKindSigs.hs

{-# LANGUAGE GADTs          #-}
--{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE PolyKinds      #-}

module Test where

data Foo :: * -> * where
  Foo :: Foo a