Removing Coyoneda from Applicative Operational