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