type Option<T> = Some(T) | None
type Color = Red | Green | Blue
type Ord = LT | EQ | GT