@hackage / inj

A class for injective (one-to-one) functions