refine reduce() on Empty/Singleton