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

{-# LANGUAGE GADTs #-}
module GoldenGADTDestruct where
data CtxGADT where
  MkCtxGADT :: (Show a, Eq a) => a -> CtxGADT

ctxGADT :: CtxGADT -> String
ctxGADT (MkCtxGADT a) = _