> Monads

Are "just" an interface a data type can implement/obey (in languages that support higher kinded interfaces)

> a foreach method/function for iteration over data

Again, "just" an interface a data type can implement/obey.