
  | #x:type-constructor(value: #x:basic-type)