Context

1. An algorithm is applicable for multiple types
2. Algorithm can be broken into primitive operations
3. The order of execution of the primitives doesn't depend on the type