functor
(
T
:
Tag
)
->
S_pp