f1、f2とf3, f4は抽象度が違うので、f3, f4はできるようにはならない、という仕様で考えること自体は別に良いと思うんですが、もしできるようになったら型システムにおいてどういう意味を持つかを考えておかないと、 f1、f2の実装が筋の悪いものになっちゃうかもしれない。