How to optimize tagless-final expressions, how to compose optimizations and what are the benefits of the tagless-final representation compared to the AST