Kleisli categories: Now You Try
Monads: Now You TrySee more
Kleisli Composition in HaskellSee more
Lecture 19: The Kleisli category of a monad, and a solver for categoriesSee more
Final coalgebras: Now You TrySee more
Category Theory for Programmers: Chapter 4 - Kleisli CategoriesSee more
Category Theory 3.2: Kleisli categorySee more
Kleisli categories and probability - 02 - The Kleisli category of a monadSee more
Making side-effects pure with a Kleisli category - Intro to Category Theory for ProgrammersSee more
Now you try: writing your first Agda programSee more
Oliver Charles on Kleisli Arrows of Outrageous FortuneSee more
Lambda World 2019 - A categorical view of computational effects - Emily RiehlSee more
Lecture 15: Kleisli categoriesSee more
Every monad comes from an adjunctionSee more
Functional Composition And The Kleisli (Scala Exchange 2018 Talk)See more
Category Theory 5.1: Coproducts, sum typesSee more
Kleisli categories in AgdaSee more
sfscala.org: Ryan Delucci, Building a Reasonable Expression DSL with KleisliSee more
"Categories for the Working Hacker" by Philip WadlerSee more
Haskell for Imperative Programmers #37 - ArrowsSee more
