today @doenges and i agreed that polarized and bidirectional type systems have good mathfeel
… why is no one talking about the mathfeel …
@chrisamaphone "elegance"?