hls-tactics-plugin-1.8.0.0: new/test/golden/PunGADT.hs

{-# LANGUAGE GADTs #-}

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


split :: GADT a -> a
split x = _