operator< is required at compile-time.