[Haskell-cafe] Mixed-type arithmetic, or type coercion