#+TITLE: Datatype-Generic Programming - Andre Loh @Zurihac 2020 #+Author: Yann Esposito #+Date: [2020-06-13] tags :: [[file:2020-05-26--06-19-53Z--haskell.org][haskell]] [[file:2020-06-13--17-47-28Z--zurihac.org][zurihac]] source :: https://www.youtube.com/watch?v=pwnrfREbhWY Inlining Trees via subset of template haskell. https://github.com/well-typed/gp-zurihac-2020