edit lecture: refactoring (add higherOrders1)