list_monads: Set, Mon

This data as json

base monoids
Set Mon