move kleisli definition
fix arrow functions