# Reference

0. [Staged programming with typeclasses](https://www.tweag.io/blog/2022-11-15-unrolling-with-typeclasses/)