Re: [Haskell] functional dependencies not satisfactory?