Bold 實際上是一個真正的類別贏家。 但 wtf 是 monad?