{An option-like type that incurs no allocation,} without requiring a reserved value in the underlying type

WWW: https://github.com/janestreet/uopt
