Comprehending Monads Comprehending MonadsPhilip WadlerUniversity of GlasgowAbstractCategory theorists invented monads in the s to concisely express certain asp ects of universal algebra