monad: bind w/ proc arg uses bind_pass