モナドのテンソル強度からペアリングを作って、それが結合法則や単位法則を満たすことを証明するには、ストリング図が一番だが、ストリング図に入る前に等式を変形する前処理が必要になる。ひとつの前処理は、対象aを (+a) := λx.(x + a) （Haskellのセクシ…