Module logic

References

Both → Both
Either → Either
Left → Left
match → match
None → None
Option → Option
Right → Right
Some → Some
T → T
These → These