Fully-working example of how to express tagged class in terms of XTL polymorphism