type/instance support