Re: [Haskell-cafe] RE: Modelling Java Interfaces with Existential data types