Not forget to have a look inside: https://www.cs.ox.ac.uk/jeremy.gibbons/publications/copro.pd...