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

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