@hackage / injections

Canonical categorical conversions (injections and projections)