[Haskell-cafe] Intro to functional dependencies in Haskell?