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