partials: binding and kleisli composition
small stuff