Experimental implementation of paxos in pure Scala