Monad in programming and category theory