The Partial Options Monoid
medium.com