Notes from Higher-Order List Functions