который состоит из элементов нескольких типов, но так, что каждый из элементов встречается ровно один раз? порядок элементов не определен, размещаются в этом списке в любом порядке, но главное только один раз.
https://hackage.haskell.org/package/type-level-sets-0.8.7.0/docs/Data-Type-Set.html
Обсуждают сегодня