[Haskell-cafe] Types depending on tuples.