Just a quick correction, I said it was the functor instance of the free monad. That's an editing error, I changed the example I wanted to use for something better. It's the monad instance for Free.