haskell-tools-refactor-0.4.1.1: examples/Decl/GADT.hs
{-# LANGUAGE GADTs, KindSignatures #-}
module Decl.GADT where
data G2 a :: * where
G2A :: { g2a :: a, g2b :: Int } -> G2 a{-# LANGUAGE GADTs, KindSignatures #-}
module Decl.GADT where
data G2 a :: * where
G2A :: { g2a :: a, g2b :: Int } -> G2 a