Так а какой в этом смысл? Где мы аккумулятор получим то?

сложный вопрос) я так понял они там много таких инстансов сделали прозапас. я не могу сходу придумать юзкейс

Я могу залифтить, могу tell. Дальше что? Мы все равно потом hoist делаем. Там мы Writer и "распаковываем". Но мы каждый раз начинаем сначала.

Т.е. можно сделать Ref, и держать аккумулятор там, но это странно выглядит. Вот, собсно, вопрос, как они это используют. Для чего это.

https://github.com/slamdata/purescript-halogen/blob/7bb46c742c51b9cb32a6e798bf3e1336e4f3b463/examples/ace/src/Container.purs#L61
вот такой юзкейс, только что нашёл

Это, судя по всему, другой tell

а, да, сори, это https://github.com/slamdata/purescript-halogen/blob/7bb46c742c51b9cb32a6e798bf3e1336e4f3b463/src/Halogen/Query.purs

Да, похоже.

это вообще про другое да, не, я этого не понимаю короче
мб кто-то другой подскажет

Ну, все равно спасибо. Похоже чат дохлый, так что вряд ли :(

В общем, если интересно, Nate ответил. Никакого специального назначения MonadTell инстанс на HalogenM не имеет. Внутри галогена никак не используется, просто для удобства добавили.  Для удобства чего, не понятно: на усмотрение пользователя. Для работы со стеком трансформеров галоген не проектировался ( это, в общем, чувствуется ). Рекомендуют либо чистый Aff, либо ReaderT e Aff.

Неожиданно было узнать, что я автор этого чата

Он вообще жив?

ну так:) язык жив, а чат как кот Шредингера

По делу изредка что-то бывает.

пациент скорее жив, чем мёртв

Может кто помочь? Решаю задачки из https://leanpub.com/purescript/read#leanpub-auto-superclasses
Задача 4, решение:
https://leanpub.com/purescript/read#leanpub-auto-superclasses
class Monoid m <= Action m a where
 act :: m -> a -> a

newtype Self m = Self m

instance selfAction :: Action m (Self m) where
 act m (Self a) = Self (m <> a)

Ругается:
No type class instance was found for
                       
   Data.Monoid.Monoid m0
                       

while checking that expression #dict Monoid
 has type { mempty :: m0                                
          , "Semigroup0" :: {}                          
                            -> { append :: m0 -> m0 -> m0
                               }                        
          }                                              
in value declaration selfAction

where m0 is a rigid type variable
       bound at (line 0, column 0 - line 0, column 0)

Не понимаю смысл ошибки.

Не может вывести, в selfAction, что m — моноид

instance selfAction :: Monoid m => Action m (Self m) where
  act m (Self a) = Self (m <> a)

так работает, но условие уже есть в Action, почему оно не подхватывается — не знаю.