Verified Causal Broadcast with Liquid Haskell - 42Papers