define return!
add CoYoneda and Operational
add example