Есть еще одно решение от @int_index для решения проблемы расширяемых эффектов (если я правильно понимаю): https://github.com/int-index/caps Мы даже писали быструю маму для зависимых типов, чтобы caps работал получше и побыстрей: https://github.com/kowainik/typerep-map Надеюсь, что Влад когда-нибудь опишет более подробно свое решение, я не использовал, но хотелось бы узнать сравнение с другими подходами...

я правильно понимаю, что это получается решение, как Handle pattern, только вместо того, чтобы жить в IO и таскать структуры явно мы таскаем их в контексте?

{-# DEPRECATED fixme "is not allowed in production #-}

завести фунцкию типа?

Да, это похоже на правду. Структурка таскается в ReaderT, а еще структурка представлена как extensible record заодно, чтобы можно было и расширить в середине кода при желании

ага, поиск по структуре логарифм? добавление тоже или О(н)?

вот бы эту функцию еще в отдельном пакете найти

можно оставлять "_"

у меня где-то (!) не могу найти валялась структура с O(1) доступом, но О(n) модификацией

мне ж нужна функция R -> Maybe t

СRex?

чет у меня никак руки не дойдут бенчмарк разных рекордов сделать, я уже и парсер для -v выхлопа накостылил

не вижу самого главного показателя, на скольки полях гхц загибается

да