Existencialへのオーバーライドでもちゃんとthunk出せるからそれもいけるので、オーバーライドと関数のサブタイピングを同じにしようってスラバは言ってるのかな