Alphabet
uncurry
:
[a → b → c × a × b] ⟶ c
Variables
F
:
a → b → c
Y
:
a
U
:
b
Rules
uncurry
(
F
,
Y
,
U
)
⇒
F
·
Y
·
U