pub type PolyFnSig = Binder<FnSig>;
struct PolyFnSig { vars: Interned<[BoundVariableKind]>, value: FnSig, }
vars: Interned<[BoundVariableKind]>
value: FnSig