Я повторяю свой вопрос, зачем Monad таки? Тут и нужно-то написать рекурсивный поиск с отсеканием неинтересных путей.

Сама возможность реализации do-синтаксиса зависит от того, что закон для >>= выполняется.
Потому что без выполнения этого закона

do
  x <- a >>= b -- (или вынос в функцию, или let)
  c x

и
do
 x <- a
 x' <- b x
 c x'
дадут разные результаты. Я бы не рисковал, имея шанс такое получить

"У меня точно (ну почти) коммутативно" — сомнительная гарантия

потому что для варианта без отсечения и слияния (полный набор ветвлений) я реализовал это через state и список и оно компактно и читабельно.

и я предполагал, что просто если возьму другой instance, который бы в >>= отсекал бы мне слияния, то больше бы ничего переписывать бы не пришлось. Но видимо это не так.

теперь я вижу эту задачу следующим образом - есть n-мерное пространство состояний мира (вот этот вот Map), есть k векторов. Для данного исходного состояния мира (точка в этом n-мерном пространстве) надо найти последовательность векторов из имеющихся, сумма которых переводит исходный мир в неотрицательный. Дополнительным усложнением является то, что дла некоторых волшебных точек пространства доступны особые вектора, которых нет в других точках.
И да, я понял, почему мне нафиг тут не подойдут монады и даже аппликативы. Потому что я везде оперирую только со State World (). Это был первый затык, когда я только начал это делать, потому что на самом деле я нигде из этих стейтов никакое значение не возвращаю. Да, у меня только функции World -> World. А State World () это был просто удобный способ их записывать в do-нотации.

плюс при реализации экшнов этим было удобно пользоваться, другие варианты State World a там внутри проскакивают

http://okmij.org/ftp/Haskell/set-monad.html - о чо нашел

Всё, забанил на неделю.

привет, вопрос

а если есть ADT, есть какой-то вариант как можно получить список всех конструкторов

не в ручную?

ладно, нашел на SO https://stackoverflow.com/questions/39441509/dynamically-get-the-list-of-data-constructors-of-a-type

если там еще и без полей в конструкторах, то просто (Bounded, Enum)

ну там это решение указано

мне как раз подходит

можно без Typeable, чисто генериками

{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeSynonymInstances #-}

import Data.Proxy
import GHC.Generics
import GHC.TypeLits

class GConstructors rep where
 gconstructors :: [String]

instance GConstructors constructors => GConstructors (D1 meta constructors) where
 gconstructors = gconstructors @constructors

instance GConstructors V1 where
 gconstructors = []

instance KnownSymbol name => GConstructors (C1 (MetaCons name p b) sels) where
 gconstructors = [symbolVal (Proxy @name)]

instance (GConstructors l, GConstructors r) => GConstructors (l :+: r) where
 gconstructors = gconstructors @l <> gconstructors @r

constructors :: forall a. (Generic a, GConstructors (Rep a)) => [String]
constructors = gconstructors @(Rep a)

data X = A Int | B String | C Int deriving (Generic)

data X' = A' Int | B' String | C' deriving (Generic)

data Y = Y deriving (Generic)

data Z deriving (Generic)

main = do
 print $ constructors @X
 print $ constructors @X'
 print $ constructors @Y
 print $ constructors @Z

Привет, есть книга для новичков по практике хаскеля? Задачник.

Свёл все ссылки, что вспомнил, сюда:
https://github.com/ruHaskell/ruhaskell/wiki/Exercises

Народ, если кто знает ещё какие ресурсы с задачками — дополняйте, пожалуйста!