mi kepeken kon toki mi mute, lawa e ilo sona kon.
我们用自己的魔咒控制计算机里的精灵。
モナドは単なる自己関手の圏におけるモノイド対象だよ、何か問題でも？
All told, a monad in X is just a monoid in the category of endofunctors of X, with product × replaced by composition of endofunctors and unit set by the identity endofunctor.