This post (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".