Ко и Вариантный и Инвариантный функтор, и траверс проходят через сложение и умножение. Имеет ли смысл перекинуть их для алгебраической структуры данных вида s (f :: * ->*), г...
А можно ghc заставить компелироваться на одном потоке?
А есть реализация sop над State или Arrow? Типо NP (TetatS a m) xs ->StateT (NP I xs ) m a