Also, I haven’t forgotten that I said I’d figure out how call-by-name should work with unions. I’ve been cracking at it for a while now, but only hit dead ends so far… But I think I’m closer now.

Maybe worth briefly writing up the attempts found non-viable?