Replace 'await1 ... repeat' with 'id'
Replace await1[A].flatMap with receive1