generated at
タイプセーフ
型安全
type safe