functor (Loc : Loc) -> Class