やっぱ型がないとNest a型か判断できないよね。