1{-# LANGUAGE GADTs #-} 2module GoldenGADTDestruct where 3data CtxGADT where 4 MkCtxGADT :: (Show a, Eq a) => a -> CtxGADT 5 6ctxGADT :: CtxGADT -> String 7ctxGADT (MkCtxGADT a) = _w0 8