はい、なんで、返り値の型とかでエイリアスのところから普通は推論されるけど、その推論させるためのメソッドが全く定義されない場合に、 = で指定しておいた型になるんじゃなかったっけ