> []completely unrelated[] to the other definition of "single parameter". Actually, all monads are monadic functions/operators on their (usually type) paramete

> []completely unrelated[] to the other definition of "single parameter". Actually, all monads are monadic functions/operators on their (usually type) parameter. Eg, 'list' is a monadic operator from element types to types of lists of those elements. It's completely different (AFAICT), and mostly unrelated, but it's not completely unrelated.