Haskell Function Definition Algebra