泛函编程(23)-泛函数据类型-Monadhttp://www.cnblogs.com/tiger-xc/p/4461807.htmlhttps://blog.csdn.net/samsai100/article/details/71512702