It's a wonderful write up, thank you! We should have more of these from seasoned developers. There are a lot of hard core math/type theory guys on reddit and e

It's a wonderful write up, thank you! We should have more of these from seasoned developers. There are a lot of hard core math/type theory guys on reddit and elsewhere (who I have lots of respect for), but in an industry setting there are (1) features to deliver and (2) people to be dealt with -- outsmarting has little place with those. You have apparently succeeded in doing the jump in this setting.