[Haskell-cafe] Problem with existential type and instance.