関数の返り値は共変
関数の返り値はcovariant
S <: Tという関係の型S,Tがある時、
() -> S <: () -> Tとする