(define (thing:(char int -> {a=char b=int}) a b)
  {a=a b=b}
  )

(thing #\a 12)