separate Coyoneda and Yoneda
wip Coyoneda instances