increased type safety