Define modifyF without Kleisli and use UpStar