型検査だけだったとしても、現状明示的に宣言するにこしたことはないですね