Error: Problem not found in database: higher-order-functions