Beyond Booleans

overreacted.io2025年08月16日 00:00
What is the type of 2 + 2 = 4?