条件付き extension でより強い型の場合にオーバーライドしたいケースが割とあるんですが、こういうのってできないんでしょうか。例えば行列式の計算で、一般の環では置換を使って定義しておいて、体の場合は掃き出しを使う、というようにより強い型で実装をオーバーライドしたいケースがあります。

8:53 AM

（あれ、もしかして普通にできる？）