Coyoneda instances