functor
(
R
:
Ring
.
T
) (
X
:
Alphabet
.
T
)
->
Left