See https://en.wikipedia.org/wiki/Monad_(functional_programming) See OnMonads for more on this. ---- CategoryFunctionalProgramming