Title: Nine good type families