Improved abstraction for dealing with union and named types. - View it on GitHub