All told, a monad in X X is just a monoid in the category of endofunctors of X X , with product × × replaced by composition of endofunctors ...
確定! 回上一頁