λ mfix (\ ~(a,b) -> [(1,a+1),(b-1,4)])
[(1,2),(3,4)]