Kleisli Triple

A monad or a Kleisli triple over a category $\mathcal{C}$ is a triple $(T,\eta ,{\_}^{\ast })$ where $T:\mathcal{C}\to \mathcal{C}$… See capretta2005-partiality.