Spend some time to logically think about what is semantically different in the two implementations, focus on the types of the values and operations invoked thereon. - d