благодарю. С расширением заработало

не, не повлияет, повлиять может только у инстансов

но выхлоп будет другой, скорее всего по коду коерсы расставятся

Ну коерсы все равно же стираются

хочется что-то вроде тардиса, но без разделения на прошлое и будущее (и возможно из-за этого эффективнее), видел кто такое?

MonadFix?

хм, а действительно

Произошла ирония

но хм, с monadfix нужно таскать значение явно, а хочется стейтл-лайк интерфейс

мне буквально нужно пушить в список стейта, доставать из списка стейта (в том числе и если значение еще не запушили, но запушат в будущем), и чтобы красиво

В ЧД провалишься, рано или поздно

Попытаешься что-то напечатать на отладку и <<loop>> в лучшем случае

есть же инстанс на стейт

это пробрасывание инстанса из Identity просто

каво

И шо? Возми ленивый стейт

ну вот про это и говорю, пробрасывание из identity

так а что мне это даст, get ленивого стейта все равно будет доставать из уже существующего стейта, разве нет?

Поясню задачу:
есть список инструкций
data Instr = Label String | Push Int | Jump String

нужно получить список инструкций без лейблов, где лейбл заменяется на индекс
data UnlabledInstr = UPush Int | UJump Int deriving (Show)

разные инструкции генерируют разное число элементов (в данном случае только Label ничего не генерирует, но это упрощенный случай)

какое-то наивное решение выглядит так

unlabel :: [Instr] -> [UnlabledInstr]
unlabel instrs =
 let (labels, unlabeled) = go labels 0 instrs []
  in unlabeled
 where
   go labels i [] result =
     (labels, reverse result)
   go labels i (Label label : xs) result =
     go ((label, i) : labels) i xs result
   go labels i (Push x : xs) result =
     go labels (i + 1) xs (UPush x : result)
   go labels i (Jump l : xs) result =
     go labels (i + 1) xs (UJump (fromJust (lookup l labels)) : result)