Module prelude
projection
Implemented for T where a projection can be created for Option<T>
T
Option<T>
Provides .project() for Option<T>
.project()