Cross fingers and hope that I never have to think about typechecking a for-loop again