move Arith to haskeline