Wiki states that An enumerated type can be seen as a degenerate tagged union of unit type. I have no idea what a degenerate union is and did not manage to
