函数式编程 - 有趣的Monoid（单位半群）