Carry context with vars in Erasure.hs.