AW: Using existential types

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