Alphabet
foo
:
[o] ⟶ o
bar
:
[o → o] ⟶ o
Variables
F
:
o → o
Rules
foo
(
bar
(
F
))
⇒
F
·
bar
(
F
)