>>496
いいんだよ

型安全な汎用プログラムを書けない時点で、個別のプログラムを型安全にする気は失せるというものだ