Category Theory: Why Monad?