Follow-up on tagless-final interpreters (or Suhail strikes back!)

Suhail blew our minds two months ago with his talk on Types Tagless Final Interpreters...and now he is back with a follow-up covering church encodings and evaluation strategies.

Prepare yourself to be amazed...