Cite well-typed's blog post: [link](https://www.well-typed.com/blog/2019/11/unrolling-data-with-backpack/)
