GHC’s type checker supports type synonym families in the development version since a few months. This paper explains the type theory underlying that extension.