(('c,&nbsp;'b)&nbsp;Effect.Deep.continuation&nbsp;-&gt;&nbsp;'b)&nbsp;option;
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;}
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;match_with&nbsp;:&nbsp;('c&nbsp;-&gt;&nbsp;'a)&nbsp;-&gt;&nbsp;'c&nbsp;-&gt;&nbsp;('a,&nbsp;'b)&nbsp;Effect.Deep.handler&nbsp;-&gt;&nbsp;'b
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;type&nbsp;'a&nbsp;effect_handler&nbsp;=&nbsp;{
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;effc&nbsp;:
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;'b.&nbsp