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

{-# LANGUAGE GADTs #-}

data GADT a where
  GADT ::
    { blah :: Int
    , bar :: a
    } -> GADT a


split :: GADT a -> a
split GADT {blah, bar} = _