Types and a basic use case for them

Описание: Starts by implementing a naive implementation with traditional OO techniques. Then moves to a slightly better implementation using Options to explain how safety can be achieved. Finally demonstrates a better implementation still by using types to represent the state of the API to show how the library can help achieve both safety and be easier to use.