It's an implementation of the typeclass Monad, which happens to come with a special "do" keyword.