1{-# LANGUAGE RankNTypes #-} 2{-# LANGUAGE GADTs #-} 3module GoldenGADTDestruct where 4data E a b where 5 E :: forall a b. (b ~ a, Ord a) => b -> E a [a] 6 7ctxGADT :: E a b -> String 8ctxGADT (E b) = _w0 9