untypeExpr' (EqExpr op e1 e2)
  = E.BinOpExpr (binEqOp op) (untypeExpr e1) (untypeExpr e2)
untypeExpr' (EqExpr op e1 e2)
  = E.BinOpExpr (binEqOp op) (untypeExpr e1) (untypeExpr e2)
untypeExpr' (EqExpr op e1 e2)
  = E.BinOpExpr (binEqOp op) (untypeExpr e1) (untypeExpr e2)