看到某篇帖子里面声称，
Unix系统管道符 | 的意义同 Haskell 中的 >>= 是一样的，
而 grep 就相当于一个 Monad

喔，真是让人恍然大悟，茅塞顿开呦～