/Я language (β)/Behaviour/Stage/

You can use this label everytime you want to pick default behaviour for lax co-Kleisli morphism.