functor
(
Synchro
:
Types
.
Synchronism
)
->
Experiment2