For AoC, I'm a big fan of the Order combinators in containers: c-cube.github.io/ocaml-contai...
So that set can be created with something like that: