Module sync
serv
serv build HyperService with given function F.
HyperService
F
serv_state builds HyperService with given function F and state S.
serv_state
S