Ask HN: What is a monad?

I'd like to start digging into functional programming beyond what is available in C# and Javascript, and began by reading a little about Haskell. There are a lot of mentions about something called Monads, which are part of category theory.

Can someone provide an explanation that would make sense to an experienced developer in the OOP world?