書く機会はないけど、クロージャ型で引数の contravariance とか考えると、書けないとできないユースケースありそう。