for ^Inf Z <a b c d> -> ($i, $letter) { ... }