bind examples & summary of higher-order functions