モナド／コモナド関連の内容： 加群の公理とその絵図法（作用には別なシルシを使うが吉） 加群（アクション構造）の取り替え定理を絵算で計算すると 取り替え定理を応用する タートルの影 実数オフセッティングを四捨五入する 例外付き有界カウンター 加群と…