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