be good to add a comment that this `uncheckedTypeExtractor` should imply the `uncheckedTypeExtractor` on line 3485
(to make the canRemedy sound with respect to what we will actually remedy)