it would need to infer the types backwards, starti...
# announcements
k
it would need to infer the types backwards, starting with the last call and propagating it