Distinguishing a program’s return value from its side effects: https://merveilles.town/@akkartik/106045532928000526