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