adam Белоочий

Имеется простая тайп фемили type family Conc (a :: [*]) (b :: [*]) = (r :: [*]) | r -> a b type instance Conc a '[] = a type instance Conc a (x ': xs) = x ': Conc a xs Проб...

А есть какие-то советы чинить cabal test который ломается с hidden package даже если он этот пакет выплёвывает в трейсе с -v?

Что-то туплю, мы можем лифтануть `Applicative f => f a -> f a в forall g. Applicative g . f (g a) -> f (g a)?

а почему бот банить не может?

а что, обязательно нужно соблюдать это равенство?

кто с OpenApi работал расскажите как достать именно схему (я так понял валуе аесоновский) определённого типа?

А tasty-discover не умеет генерить пропсы с генериками?

опять же согласившись с каной, зачем это читать?

за смешариков когда спросите?

почему хлс не видет моего чистосгенеренного hie.yaml в корне проекта который как раз и хранит крадл префиксы?

У кого-нибудь ломался Nix Environment Selector на пустом месте? Пробую на разных проектах, виснет на стадии Applying Environment

Кто-нибудь чинил рекорд дот плагин и хлс? У меня крашится с Connection got disposed ошибками

как в хаддоке вот так вот экранировать?

меня тут одного спамят реакциями?

если только этот тайпфемили просто синоним к константе?

Слушай, а у тебя как? Ты хочешь выучить хаскель или чтобы тебя научили?

кто стаилишем пользуется почему BlockArguments не работает?

В расте нет предопределённых идентификаторов, а-ля __func__ и __LINE__?

т.е. рабочий форматтер спустя столько лет не завезли?