packages feed

haskell-tools-builtin-refactorings-1.0.1.1: test/ExtensionOrganizerTest/GADTsTest/NormalOnlySyntax.hs

{-# LANGUAGE GADTSyntax #-}

module NormalOnlySyntax where

data T a where
  T1 :: a -> T a       {-* GADTSyntax *-}
  T2 :: a -> a -> T a  {-* GADTSyntax *-}