Some useful control operators for looping.

WWW: https://github.com/mokus0/monad-loops