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

{-# LANGUAGE GADTs #-}

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

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