Есть у меня два гетеросписка: один мужественный на GADT'ах с Nil'ом и вот этим вот всем, а второй гейский вида data Cons a b = Cons a b. Как бы мне их терминалогически различать?