@average-vr-56795: removing the type ascriptions on that one actually gives a better error: the closure is capturing something: