GitHub repository: ombocomp/type-iso
Primary language: Haskell
Description: Expresses isomorphic and injective relations between types.