Data.Expression.Arithmetic
data ArithmeticF a s
cnst
add
mul
(.+.)
(.*.)
(.\.)
(.<.)
(.>.)
(.<=.)
(.>=.)