The general topic.. judging by https://serokell.io/blog/type-families-haskell https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/type_families.html https://wiki.haskell.org/GHC/Type_families