The Kleisli category of an affine monad is an affine category, or semicartesian category. References Semantics of Weakening and Contraction (Jacobs, 1994), Section 4.
