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

(thing #\a #\b)