txus: pretty hard at the moment
txus: will be interesting to tackle once we can type check assoc and friends in higher-order usages
typing get-in has me stumped at the moment
not that I've made much progress on any of them
but chipping away
mainly, what is the type of the first argument to get-in?
or how do you relate the key path to the map
also lol we have 2 days of history on slack.
useless