y pode ser do tipo curry de forma que o valor de retorno adiciona(2) — note que não há um parâmetro y — será uma função anônima, o que é equivalente à função adiciona2(y)
ˈipsˌilɔŋ pˌɔdɨ sɨɹ dʊ tˈipʊ kˈuʁi dɨ fˈɔɾəmɐ kɨ ʊ vɐlˈoɹ dɨ ʁˌetˈoɾənw ˌɐdisiˈonɐ dˈoɪʃ — nˈɔtɨ kɨ nˌɐ̃ʊ̃ ɐ ũŋ pˌɐɾˈɐ̃mɨtɹw ˈipsˌilɔŋ — sɨɾˈa ˌumɐ fũŋsˈɐ̃ʊ̃ ɐnˈonimɐ, ʊ kɨ ɛ ˌekivɐlˈeɪŋtɨ ˌaː fũŋsˈɐ̃ʊ̃ ˌɐdisiˈonɐ dˈoɪʃ ˈipsˌilɔŋ