требует F[_] только в ковариантных позициях? Что мешает в продукте 2х алгебр на входной t2k: Tuple2K[G, H] соответсвенно передавать в левую t2k.first на вход, а во вторую - t2k.second?
Можно руками это сделать, никто не мешает. Тут вопрос только в том, как вы потом будете использовать Alg[Tuple2K[G, H]], ведь FunctorK[Alg] вы не сможете создать и соответственно ApplyK[Alg] + каждый раз на вызов метода с F[_] в инвариантной позиции необходимо будет руками конструировать тапл на вход
хочу общую реализацию по первому эффекту "параллельно" прогонять
можно свои типы изоморфные Tuple2K через InvariantK
чтобы руками не конструировать
Обсуждают сегодня