functor
(
Pool
:
S
)
->
S