我對單子（monad）的了解大多來自於 Seals，而這正是其中的尖端部分。