Report question

Question: What is a monad in FP, in categorical terms?