A sample implementation of a generic typesystem with union types - View it on GitHub