Nice survey
https://thume.ca/2019/07/14/a-tour-of-metaprogramming-models-for-generics/
Mastodon server of https://doma.dev.