[foldr]

That doesn't sound good, but I haven't managed to find the record of those interactions, as I think the original tweet has been deleted. I don't tend to trust second-hand summaries in this sort of case.