paxos: notes on std::function and started on lambdas