functor (Loc : Loc-> FullClass