In Search of an Understandable Consensus Algorithm - In F#.