functor
(
Spec
:
SPEC
)
->
S