base.F[A,B,R]

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