Raft protocol servers written in f#