Rational Model (Haskell)