スタンピング

モノイド圏に（コ）モノイドがあれば、それを使って（コ）モノイダル・スタンピングにより（コ）モナドができる。この方法は、安直だが、けっこう役に立つ。例えば、∇: 1 + 1 → 1 を余対角（folding）とすると、これはモノイドになる。モノイダル・スタンピング・モナドは部分写像の（Maybe in Haskell）モナド。