为什么当我们有 时，没有（严格）单子的实例化，如 中所述？我以为它应该是一种代表现实本身的神奇类型。IOStateRealWorldControl.Monad.STRealWorld 我的意思是，回...