反ラックス・モノイド余モナドの計算（ストライプ図絵算）をゴニョゴニョしているときに気付いた等式があります。とりあえずその等式を、余モナドのパンツマジック等式〈pants magic equation〉と呼んでおきます。ストライプ図を眺めると、下着〈パンツ〉の…