koher 4/21/2017 2:46 AM

問題ないでしょ？

2:47 AM

引数については contravariant だから。

2:47 AM

より広い値を受ける分には問題ない。