[Haskell-cafe] Re: Trouble with type signatures and type families