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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information