Итак, я пытаюсь создать тип для кортежей переменной длины, в основном как более красивый версия Either a (Either (a, b) (Either (a, b, c) ...)) и Either (Either (Either ... (x, y, z)) (y, z)) z. {- # LANGUAGE ...