Comment by Piezoid

The finite-memory nondeterminism monad is like a leaky burrito.