haskell-tools-refactor-1.0.1.1: examples/TH/GADTFields.hs

{-# LANGUAGE GADTs, KindSignatures, TypeFamilies, TemplateHaskell #-}
module TH.GADTFields where

data Gadtrec1 a where
  Gadtrecc1, Gadtrecc2 :: { gadtrec1a :: a, gadtrec1b :: b } -> Gadtrec1 (a,b)

$( let a = ['gadtrec1a, 'gadtrec1b] in return [] )