@hackage / type-iso

Typeclasses for injective relations and isomorphisms between types.