でも式レベルで型が明確になるから (edited)