lispにないってことは型安全って実は要らないんじゃないの