hls-tactics-plugin-1.1.0.0: test/golden/RefineGADT.hs.expected

{-# LANGUAGE GADTs #-}

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

test :: z -> GADT Int
test z = One (\ b -> _)