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