functor (Loc : Loc) -> FullClass