## In to the Core

• Inlining
• Rewrite rules
• Beta reduction
• Case of case
• Case of known constructor
• ...

But once you done this. Very good things happen!

... the transformations cascade! meaning you do one thing and that exposes the opportunity for another thing and that exposes the opportunity for another thing ...

... compile strict language and lazy language into the same thing.