I really with this information was in `type-rep.rkt`, not least because it's duplicated in the variance information