Haskell Functional Dependency Definition