Stricter type safety check