Равенство для GADTS

#haskell #gadt Вопрос: Я не могу реализовать экземпляр Eq для следующего типобезопасного DSL для выражений, реализованных с помощью GADTs. data Expr a where Num :: Int -> Expr Int Bool…