expected

right(0)
right(1)
right(2)
right(16)
right(4)
right(1)
right(1)
left(■)
right(0)
right(0)
right(1)
right(0)
right(1)
[]
[<Bool → Bool>, <Bool → Bool>, <Bool → Bool>, <Bool → Bool>]
[left(F, F), left(F, T), left(T, F), left(T, T), right(F), right(T)]
[left(■), right(F), right(T)]
[]
[[]]
[[]]
[F, T]
[[], [■], [■, ■], [■, ■, ■], [■, ■, ■, ■]]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[(0, 0), (0, 1), (1, 0), (0, 2), (1, 1), (2, 0)]
[]
[]
[<Void → ℕ>]
[]
[<Void → Void>]
right(1)
left(■)
right(1)
right(2)
right(4)
right(1114112)
right(1)
right(0)