haskell-tools-builtin-refactorings-1.0.0.0: examples/Decl/DataInstanceGADT.hs

{-# LANGUAGE GADTs, KindSignatures, TypeFamilies #-}
module Decl.DataInstanceGADT where

data family GadtFam (a :: *) (b :: *)
data instance GadtFam c d where
  MkGadtFam1 :: x -> y -> GadtFam y x