Bold 实际上是一个真正的类别赢家。 但是 monad 到底是什么?