type-safe