TIL the interleaving mechanism in conde is also known as the Omega Monad.