Removing Coyoneda from Applicative Operational

Does this make sense?