モニャドセミナーの懇親会で檜山さんが「切捨てもモナド！」と言ってたのを急に*1思い出したので考えてみた。ネタバレ？かも知れないのでそっけなく。 対象 実数 射 x≦yの時、x → y 関手 切捨て(超えない整数にする) とすれば多分モナドになっている。 関手…