I think it's always worth studying Free monads to understand them a bit more completely. After you can see how to construct and map free monads then there's not much left to the concept to debate.