Lift Kleisli arrows as consequences of loaders.