Would it cause any problems to extend the reader syntax of prefab literals to allow the double-dotted-infix notation? E.g.:
> (define-struct : (name binding) #:prefab)
> #s(foo . : . 42)
#s(: foo 42)
> (equal? #s(foo . : . 42) #s(: foo 42))
#t
Dave
