только у меня это было

IMap[FooState.type with BarState.type]

короче злейер сделать на стейте

либо просто Ref, SyncIO

И кейкать типы стейтов в каждом сьюте?

да почему кейкать

вызвать наполнение мапки стартовыми элементами

мапка, Никита, не трейты

object FooMock{
  val init: Has[FooState] = Has(FooState(....)))
}
class LolSuite{
  type State = Has[FooState] with Has[BarState] with Has[ProdQuux]
  type Err = FooErr :+: BarErr :+: Cnil
  type Eff[+A] =  ICalc[Any, State, Err, A]
  val init = FooMock.init ++ BarMock.init

 val focus: State Contains ProQuux = implicitly
 val instance = new BarInstance[Eff](CalcAtom[Any, State, Err].focused(focus))
...

 val (final,  res) = instance.quux(1, 2, 3).runUnit(init).
 
  final.get[ProdQuux].lol should== "lol"
  res should== Left(BarErr("fuck"))
```

Has есть где-то кроме зио?

ну я упоминал свою бюджетную версию

но в принципе тебе и не сильно нужно Has

Ну то есть всё равно придётся делать case class State(foo: FooState, bar: BarState, prodQuux: ProdQuux)

в тестах достаточно будет
case class TestMap(map: Map[ClassTag[_], Any])

object TestMap{
 implicit def contains[A : ClassTag]: TestMap Contains A = new Contains{
  def get(testMap: TestMap) = testMap(classTag[A]).asInstanceOf[A]
  def put(testMap: TestMap, a: A) = testMap.updated(classTag[A], a)

Но в принципе для теста несложно и
@ClassyOptics
case class State(...)
Сделать

нет моя бюджетная версия немного иная

но почему-то не вижу её в манатках

видимо, осталась в тест сорцах травела

ну скажем так для тебя и корейский наверное так же выглядит

сложно понять, ирония это или нет