functor (Loc : Loc-> Class