wip Coyoneda instances