在 Monad 上，只有 $Unit 是有意義的。它所需要的只是一個能夠詐騙拉升的優秀市場做市商。