I know loads of category theory, but when I tried to find out how monads were used in computer programming I was disappointing to find that no one has written a

I know loads of category theory, but when I tried to find out how monads were used in computer programming I was disappointing to find that no one has written a "Monads in Haskell for Category Theorists"tutorial. :-(