(.==.) :: Eq a => Num a => Ord k => LinAst k a -> LinAst k a -> Ineq.IneqExpr k a a
x .==. y = Ineq.EquExpr (makeLinExpr x) (makeLinExpr y)
(.==.) :: Eq a => Num a => Ord k => LinAst k a -> LinAst k a -> Ineq.IneqExpr k a a
x .==. y = Ineq.EquExpr (makeLinExpr x) (makeLinExpr y)
x .==. y = Ineq.EquExpr (makeLinExpr x) (makeLinExpr y)