Class morphing is an abstraction mechanism that allows a class to abstract over the structure of other types. For instance, one can define a parametric class Log<X> with the definition "for each method of X, provide an identical method that calls the original and logs the return value". The main ...