Why proarrows are not the algebra of messages The Structure of Concurrent Process Histories (Nester, 2020)
