Since there are more than one possible natural transformation between functors, we should label all those that involve Kleisli categories per each specific behaviour. There is a list of all available behaviours.