※ここまで静的型がよりテストが少なくて済むという説明なし※