separate Yoneda and Coyoneda
add Coyoneda instances