GitHub repository: raehik/type-level-sets
Description: Type-level sets for Haskell (with value-level counterparts and various operations)