type Action m s a

type MonadicFold m s a

type RelevantMonadicFold m s a

type IndexedAction i m s a

type IndexedMonadicFold i m s a

type IndexedRelevantMonadicFold i m s a

type IndexPreservingAction m s a

type IndexPreservingMonadicFold m s a

type IndexPreservingRelevantMonadicFold m s a