Monad transformers are the workaround for monads don&#x27;t compose. Look at &quot;Appendix I: Look Ma, No Transformers!&quot; on the page to show benefit. Can compose and don&#x27;t need the transformers.