HigherOrderFunctions complete.