. "Of course, some means of describing intended types must exist for module interfaces and services, where declaration is separate from description." . . . .