proposition: Theorem _paco8_mon: _monotone8 (paco8 gf).
proof: Proof. red; intros. eapply curry_map8, _paco_mon; apply uncurry_map8; assumption. Qed.
imports: Program.Basics Paco(paconotation_internal paco_internal pacotac_internal)