A light-weight general-purpose library to help represent situations where the type of a value is one of a set of types. An alternative to type erasure.

In Java and Groovy I was suprised when I found out that a subclass of a superclass with a generic method can erase the generic type. Take the interface below: We can create anonymous subclasses of ...