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