函数式Monads模式研究——Endofunctor

自函子

自映射(endofunctor)是指一种将同一类群自身映射的特殊结构（A special structure that maps a group onto itself）。在数学领域中, 函子的作用就是建立两类群之间的对应关系, 因此自映射作为一种特殊的映射形式具有重要的研究价值。
通常由三部分构成：

1. 一组元素对象
2. 一组态射
3. 态射组合（二元运算）

若该范畴满足结合律，则称其为半群；若该半群具有单位元（即具有单位元），则可被归类为幺半群（Monoid）。据此可知，在范畴论中存在一种称为"functor"的概念：它是一种能够将一个Monoid中的对象成功对应至另一个Monoid的对象的操作机制；同时这种对应方式也会自动作用于连接这些对象的态射（morphism）。值得注意的是，在这种情况下所涉及的两个Monoid实际上是同一个体系；我们暂且将其命名为"functor F"：则根据上述定义可知：

• F对Int这一特定对象的作用结果仍保持不变；
• 对于任意一个从Int到String方向定义域的操作符f而言，在经过F处理后所得的结果依然维持原有形态。
  由此可见，在这一过程中自functor并未对原始范畴内的任何要素产生实质性的改变。

Hask范畴

Haskell里的所有类型和函数都放到一个范畴里，取名