(a: S): R +-> e (a1: A1, a2: A2, ...): (R1, R2, ...) +-> e (): () +-> e

f g x

f (g x)

f.g.x

(f g) x

f(a)(b)

(f(a)) (b)