Dmitry

Выглядит избыточно, но зависит от задачи. Что, все эти CanFind не эквивалентны? И даже нет зависимостей между ними (типа Functor => Applicative)? И нет зависимости Monad m => ...

Ну, это чистый и зерокост ридер без возможности local. Т.е. 100500 трансформеров-ридеров может заменить. Надо что-то другое?

что значит "паттерны"? Я бы монады-аппликативы паттернами не называл.

Если где-то еще будут драться, всегда готов предложить услуги.... Думаю, не я один. Сколько из здесь присутствующих, работают "разработчиками на Хаскель"? 50?

А если надо из следующего вычитать предыдущий? Я не хочу спорить. И сам tail наверное напишу. А потом на drop исправлю :-)

"lambda на типах" - это карринг и все такое? Тоже ведь есть техника для (эмуляции) этого в синглтонах. Только громоздкая и разные имена получаются для всех частичных применени...

а чем OVERLAPPING тут мешает? Если комиляцию проходит, то и норм, наверное? Что будет в том коде, который приведен, неизвестно. Зависит от того из какой монады m вызывается. Н...

Линзы при этом не делаются вроде? У меня только с generic-lens получается при Duplicate.

Можно как-то красиво сделать линзу по двум полям, если есть линзы по обоим полям? Я могу сделать get и set для двух полей, потом lens2 = lens get set. Красивее можно?

А что, если не вычитание, а другая некоммутативная операция?

зачем менять Хаскель? Сделать type family или, скорее, дополнительный class и там все "перебрать"

А мое предложение не устраивает?

а что произошло в семерке? Всякие штуки с типами/кайндами вроде не в 7.0 появились?

Подскажите, пожалуйста, может быть можно как-нибудь в TH получить значение семейства типов? То, что в ghci получаем по :kind!

Судя по доке TH, AST не получить "так как никому не надо". А что значит "обернуть в скобочки"? Просто интересно...

> Завтипы канонично должны иметь два конструктора типов - пи и сигма. есть где почитать?

Можно поподробнее? Мне кажется, это неверное утверждение

shared_sequence это, да, хорошо, и что?

Что-то тут не так. Почему имена полей разные, а типы соответствуют? Так надо?

GADTы вроде до 7-ки были? А что в корку добавили?