по ней сделать Fold. То есть отдать две функции Nothing -> t и a -> t и получить на выходе t. Это по сути эквивалентно обыкновенному паттерн матчингу. Есть ли такая возможность?
если тебе нужно именно способ автоматически выводить фолды из любых дата-типов, то посмотри в сторону рекурсивных схем я сейчас еще пробую через generic выводить в очень ограниченных случаях может даже Foldable подойти
вот бы полное описание этой ф для Fold...
Обсуждают сегодня