Kleisli
add some methods of Kleisli