我对单子（monad）的了解大多来自于 Seals，而这正是其中的关键所在。