functor
(
X
:
EMPTY
)
->
S