Introduced Sum types with Union as default implementation.