asdmasda
should have branched earlier...
ugh. machine is unusable. pusho ff
Asdasd
Adasd
lets encode ALL type-applications with FAppTy
asdad
asdasd
temp checkin of exists branch to facilitate merge
ok at least one test passes with exists2
asdads
fiddling with AppTy in fixpoint
ugh, deal with Set/FAppTy
massive technical debt with type-app incurred ...
ugh. lookupGhcThing unknown crashes with FAppTy
FAppTy seems to be working...
ugh. see TODO.md for failing tests
tweaking args_of_app
see TODO for failing tests. sigh
sigh. was the resolve thing...