type-safety