A collection of simple monadic types: Option, Result
Option module provides Option type with utility functions
Result module provides Result type with utility functions