I think this is missing mentioning:

Object algebras: https://i.cs.hku.hk/~bruno/oa/

Tagless final: https://okmij.org/ftp/tagless-final/course/lecture.pdf

and Data types a’la carte: https://webspace.science.uu.nl/~swier004/publications/2008-j...