GADT constructor constraints ignored
Class constraints on GADT constructore appear to be
ignored.
I tried:
data Expr :: * -> * where
Const :: Show a => a -> Expr a
Apply :: Fct a b -> Expr a -> Expr b
and there is no way to define the expected constraint-less
Show instance --- for details, see Expr0.lhs.