remark on Kleisli arrow