Module or 

A module for an Or type that can be one of two types.

Enums

Or

An enum that represents one of two possible types (Left or Right). When serialized, it writes only the inner value without any discriminant. The discriminant must be managed externally (e.g., via a separate boolean field).