add Kleisli.kleisliU
kleisliU example
Merge pull request #521 from xuwei-k/kleisliU

add kleisliU