Higher order worked example