Kleisli Category

A category based on a monad. Objects are types of some programming language. Morphisms from type A to type B are functions from A to an embellished B. The specific Kleisli category specifies how these morphisms compose.