Mutual exclusion protocol (haskell learning project) https://en.wikipedia.org/wiki/Lamport%27s_distributed_mutual_exclusion_algorithm