Monads are just monoids in the category of endofunctors

Can someone please explain what this means in 10 words or less? I don't have much time.

>>11
All languages are typed.
You probably meant compile time type checking.
It has nothing to do with the number of people.
More like with the code correctness.
But it follows from the Godel incompleteness theorem,
and as well as halting problem, that to prove the
correctness of a program you need system as large as the program.
Basically you're trying to solve the halting problem.