Brendan Zabarauskas on Twitter: "This bit in Types and Programming Languages cracks me up for some reason https://t.co/HtJ5DY88Wk" / Twitter