A neighborhood pool with a retractable roof that opens for open-air swimming on sunny summer days. Clean, well-maintained, and rarely too crowded.