結果發現 monad 只是另一個 xpl