let
state a b =
I
.state (a,b)