As mentioned on the call yesterday, here is a video of me doing a "good" call-by-name migration (e.g. a fast one) in real-time on Prettier. Watch on 2x