Show-like class for 1-type-parameter GADTs.
GShow t =>
... is equivalent to something like
(forall a. Show (t a))
=> .... The easiest way to create instances would probably be
to write (or derive) an
instance Show (T a), and then simply
say:
instance GShow t where gshowsPrec = defaultGshowsPrec