This post (http://stackoverflow.com/a/194207/438615 http://stackoverflow.com/a/194207/438615) makes a good case for "computation builder." Also, as there are a

This post (http://stackoverflow.com/a/194207/438615 http://stackoverflow.com/a/194207/438615) makes a good case for "computation builder." Also, as there are abstract data types (stack, queue, etc), monads are abstract control flow types. Another answer there suggests "control type". Something even better is probably possible, but I like both of those better than "monad".