AW: Using existential types

[Markus.Schnell at infineon.com]

Hi Graham,

> Instead, I replace the class instances by a single algebraic 
> data type, 
> whose members are functions corresponding to OO-style class methods.

could you give an example?

Thanks,
Markus