Id

cats

invariant

ListWrapper

invariantSemigroupal

ListWrapper

inverse

Alg Alg