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