(define make-type (type)
  (bitconstruct
   ((TypeA type))
   ((TypeB type))
   (else (error "invalid type"))))