IO, yoneda/coyoneda