fact: Fixpoint compFold(A : Type)(B : Set)(eqd : EqDec B)(f : B -> A -> Comp B)(init : B)(ls : list A) := match ls with | nil => ret init | a :: ls' => init' <-$ f init a; compFold _ f init' ls' end.
imports: FCF.FCF