@oantolin I reported a compile time perf regression with type families nearly 8 years ago: https://github.com/deech/Trac12506