1 2 3 4 5 6 7 8
{-# LANGUAGE GADTs #-} module T9109 where data G a where GBool :: G Bool foo GBool = True