type safety or whatever