when (1, 2) is
 (1, x) -> x
 (_, b) -> 3 + b