>>969
それだと、たまたま同じ型の関数が間違ってラップされることも防ぐ義務もあることになるよね？
でそれを実現しちゃうと使う側は新たにラップした型を作れないから拡張できなくなる

今回のようなケースでそんなことする義務とか意味とかあるのかな？