typing is performed forward (propagation) as well as backwards (inference), which is why we can omit variable types entirely here.

#devlog #LRDL