KS
Да
sealed trait Foo
case class Bar(x: Int, left: Foo, right: Foo) extends Foo
case object Baz extends Foo
ты пишешь
trait FooP[-A, +B]{
def bar(x: Int, left: A, right: A): B
def baz: B
}
type Foo = Layer[FooP]тогда если реализуешь ProTraverse[FooP] твои возможности безграничны
