(bitpacket NString (size 8) (data (* 8 size) bitstring))
(define (make-nstr str)
  (let ((size (string-length str))
        (data str))
    (bitconstruct ((NString bitpacket)))))
(define nstr (make-nstr "ABC"))

(bitpacket TypeA (1) ("somedata" bitstring))
(bitpacket TypeB (2) ("anotherdata bitstring))

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

(define packetA (make-type 1))
(define packetB (make-type 2))

(bitpacket TypeA (type 8) (check (= type 1) ("somedata" bitstring))
(bitpacket TypeB (type 8) (check (= type 2) ("anotherdata" bitstring))

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

(define packetA (make-type 1)) ; result "\x01somedata"
(define packetB (make-type 2)) ; result "\x02anotherdata"

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