「用意されてる型をそのまま使うな！ ちゃんと型を宣言してから使え！」って、Adaではもっと厳格になってる発想だし＞＜