Read it on Medium.
Non-Ownership and Generic Programming and Regular types, oh my!
optional<T&> - Yes, we need it