Documentation

Std.Data.Iterators.Lemmas.Consumers.Monadic