Module that defines single data type called Entity
Entity
Union type which defines two variants X and Y
X
Y