`OpDest` was basically a defunctionalization. Just turn the code that cased on it into those functions, and call them directly.