[Haskell-cafe] type Rational and the % operator