hls-tactics-plugin-1.8.0.0: old/test/golden/RefineGADT.hs

{-# LANGUAGE GADTs #-}

data GADT a where
  One :: (b -> Int) -> GADT Int
  Two :: GADT Bool

test :: z -> GADT Int
test z = _