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