Module projection

Module projection 

Source

Traitsยง

Projection
Projection trait for projection of linear types and shapes