Generalized `ModuleInformationBase` to a marker trait