functor
(
M
:
T
)
->
Alphabet
.
T