An option-like type that incurs no allocation
