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

{-# LANGUAGE TypeFamilies, GADTs #-}

module AssocGDataFamily where

class GC a where
  data GD a :: * -> *           {-* TypeFamilies, KindSignatures, KindSignatures, KindSignatures *-}

instance GC Int where
  data GD Int a where
    G1 :: Int -> a -> GD Int a  {-* TypeFamilies, GADTSyntax *-}