ただ、上が先に導入されることで、下の表現力がなくなってしまって、 -> <F: Foo> (F, F) みたいなのを ABI 上位表現できなくなったりしないかなと。