A module for assertion functions
A module for values with two possiblities
A module for optional values