zypeh
says to
YSITD
monad 还多了 enumerable type, 像 Rust 的 Result 那就是 monad