@hackage / conversions

Injective explicit total and partial conversions