Ответсообщение недоступно
А это же и без GADTs проблема? Когда начинаешь с ассоцированными тайпфемели промежуточные переменные типов вводить. Сложно привести точный пример, но помню страдал когда в сервантовский роутер добавлял описание прав на основе подпутей