一个好的程序员是在穿过单行道之前总是两边都看的人。
Monads are indivisible entities, the basic elements that constitute the world.