typo (thanks to Tim)
Illustration for the "types as spaces" principle