unfortunately nobody seems to know what monads are, or what monadic logic is. there are complicated answers, usually offered by those in higher realms of mathematics. i made this post not to explain in-depth about monads, nor explain the history of the term. this post is to simply tell you what a monad is in the simplest way possible.
monads - put simply - are grand strategies. if there is a collection of solutions of the same variety that solve a common problem, the tool to call the solution is a monad. rather than use thirty different commands to debug something, imagine calling a single monad! it's like a strategic macro for solving specific problems (or at least making them a bit easier to approach).