Some truth in Haskell