抽象的なことは分かりにくいとか扱いが難しいという話はよく聞きます。しかし、抽象的じゃないがゆえに煩雑だったり余計な手間がかかることもしばしばあります。「名前の削減問題からインスティチューションへ」で出した掛け算の法則 mult(unit, x) == x mul…