> decided to explain its working by coming up with a metaphor involving record-players and records that are designed to physically break the record-players they’re played on
Wait... I've seen this style of explanation somewhere...
As I've heard it explained, monads are simply monoids on the category of endofunctors, or something.
(I know what monoids are in group theory, and have a vague glimpse that functors are maps between categories. I figure that endofunctors are functors from a category to itself; how they come to be their own category or how monoids even apply, well.)
Wait... I've seen this style of explanation somewhere...
M O N A D T U T O R I A L S