Also, I'd remove the mention of monads, for fear someone would stop to look that up, and enter the shit-storm that is monad explanations.
About monads: Feared that too, will remove monad references and add something to the end about monads.
I feel like the key to any successful monad explanation is going functors->applicatives->monads.
About monads: Feared that too, will remove monad references and add something to the end about monads.