Internal Kleisli categories - Tomasz Brzezinski (Journal of Pure and Applied Algebra, 2011)