[Haskell] Math behind Haskell