из двух конкретных экземпляров тайпкласса кроме как Either, если его значение потом все равно передается в одну и ту же функцию?
f :: (Show Int, Show String) => Int -> Int f = (+ 42) - функция есть - функция законстрейчена - принимает два конкретных инстанса тайпкласса последнюю часть не понял, при чем тут Either тоже
Упс, поправил вопрос
@kana_sama я там поправил самое важно в формулировке вопроса :))
Обсуждают сегодня