Causal Commutative Arrows Revisited As described in Causal Commutative Arrows Revisited (by Jeremy Yallop and Hai Liu; published in the ACM SIGPLAN Haskell Symposium 2016) and in the following talk: