>>795は「厳密な型を持つ」と
「型を無視する抜け道が存在しない」
の区別が付かない人