tfw воспользовался type families, а потом узнал что это такое