Use simpler syntax for type families.
Simpler still?