この流れで質問させてください
型クラスってのは代数的構造のことではないんでしょうか？