C String | LAM Int ENV deriving (Eq), где ENV другой тип, который не имеет представителя класса Ord. Я могу получить автоматически как-то представитель класса Ord для типа SF дописав только экземпляр для случая сравнения с LAM? Или мне надо писать все возможные комбинации ручками? ХОтелось бы что-то по типу deriving (Eq, Ord) и дописать пару случаев для compare.
Если только (Int ENV) сделаешь отдельным типов, и для него ручками напишешь случаи.
Обсуждают сегодня