base.F[A,B,C,R]

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