Por el contrario, los símbolos → y "are" se consideran asociativos a la derecha, de modo que las funciones curry pueden definirse mediante una notación como f: ℤ → ℤ → ℤ = x ⟼ y ⟼ x · y.