add examples about parameter inference and useful higher-order functions