haskell-tools-builtin-refactorings-1.0.1.1: test/ExtensionOrganizerTest/ExistentialQuantificationTest/WithGADTSyntax.hs

{-# LANGUAGE ExistentialQuantification, GADTSyntax #-}

module WithGADTSyntax where

{-@ ExistentialQuantification, GADTSyntax @-}

data T a = forall c . T a c  {-* ExplicitForAll, GADTs + ExistentialQuantification *-}

data GT a where
  GT1 :: a -> GT a           {-* GADTSyntax *-}