You searched for type safety