An [option]-like type that incurs no allocation, without requiring a reserved value in the underlying type - View it on GitHub