这么说来，Monad就是把不纯的函数转换为纯函数（态射）？

是的，确实如此。Monad是一种函数式编程范式，它可以帮助我们将不纯的函数(具有副作用)转换为纯函数(无副作用)。它通过将函数的计算封装在一个类型的容器中，使其不会改变外部环境的状态，而是返回一个新的状态。通过使用Monad，我们可以更容易地组合多个纯函数来完成复杂的任务，并保证它们是可测试和可预测的。