> This process of converting different code patterns into a standard, canonical form is what lets the compiler treat them all identically. Wouldn‘t it be nice

> This process of converting different code patterns into a standard, canonical form is what lets the compiler treat them all identically. Wouldn‘t it be nice if we could transform back from the canonical form into the most readable code? In the example that would convert all functions into x + y.