What's higher-order about so-called higher-order references?

1 points | by fanf2 13 hours ago