It's just an abstraction of let-binding. Here, let me show you the tutorial I wrote...

If you encounter the urge to use a free monad and you're not authoring a very low-level library with performance tests, back away slowly until you reach a safe distance. Then run like hell.