S -> Tuple2(S, A)
# arrow
i
S -> Tuple2(S, A)