No, it might be the obvious problem. How do I bind B with … ?

(All (B ...) something)

ok no it’s not that obvious, I’m working at the type-rep.rkt level … getting types from the expanded code and trying to turn their parts into a contract

the specific issue is probably from taking an -> out of a Poly or PolyDots type

So the problem is you’re trying to parse a type but you haven’t set up the environment correctly?

yes that sounds right

I would just look at how parsing sets up the environment when parsing an All type

I would be more helpful but I’m not at my computer

:+1:

last time I tried, I got confused about all the different environments: index-env, tvar-env, scoped-tvar-env