Notes concerning “Higher order programming”