Re: [Haskell-cafe] how would this be done? type classes? existential types?