Closed type families with overlapping equations
Giving Haskell a promotion