Full thread082349872349872·inspired by https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as...View on HN