我对monad的期望非常低,但这正是一个发现。