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