base.F[A:iso,imm,mut,read,B:iso,imm,mut,read,C:iso,imm,mut,read,R:iso,imm,mut,read]

read #(a: A, b: B, c: C): R,
read #(a: A, b: B, c: C): R,