Haskell rules