fact: Definition forFoldrM {A : Type} {B : Type} (s : A) (l : list B) (f : B → A → m A) : m A := foldrM f s l.
imports: Category.Lib Category.Theory.Category Category.Theory.Functor Category.Theory.Monad Category.Instance.Coq