Я получаю сообщение об ошибке при попытке определить синоним шаблона на основе GADT со списком на уровне типов. Мне удалось свести это к этому примеру: {-# LANGUAGE GADTs #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE DataKinds #-} {-#...