type-iso (hackage): Expresses isomorphic and injective relations between types.
Keywords: apache|cast|data|library|types