stubs for describing other types