Reformat monad docs in well formatted latex