add CoYoneda
define return!
fix cast type
add operational