fact: Definition maybeBindComp(A B : Set)(eqdb : EqDec B)(c : Comp (option A))(f : A -> Comp B) : Comp (option B) := opt_a <-$ c; match opt_a with | None => ret None | Some a => b <-$ (f a); ret (Some b) end.
imports: FCF.Comp