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