" the types remain entirely opaque except to applications that are" . . . .