functor
(
Loc
:
Loc
)
->
FullClass