fact: Definition bind {W S O A B : Type} (m : GenHandler W S O A) (f : A -> GenHandler W S O B) : GenHandler W S O B := fun s => let '(a, os1, s', ws1) := m s in let '(b, os2, s'', ws2) := f a s' in (b, os1 ++ os2, s'', ws1 ++ ws2).
imports: Coq(List)