functor
(
Auto
:
Types
.
Rule
)
->
Types
.
Experiment