Но зачем? Есть где-нибудь статья/учебник, где вот берут императивный пример, переписывают монадически и получают ништяки
Скорее всего есть. У меня есть статья, как делать монадический Software Transactional Memory, но STM-монада, конечно, посложнее будет