[...] "Function application". if α is of type <"b,a">, and β is of type "b", then α(β) is of type "a".- Pustejovsky & Boguraev (2004), a pag.348