Да хз. Я не знаю от сколько кг ему тяжело. Но шел он очень не хотя

Он на ощупь как кожаный башмак, на котором есть волосы

Такие, еле заметные волосы

Как в подростковом возрасте лобок потрогать

в имплементации чего

5 мин

и часто ты лобок у подростков трогаешь?

Ну в тайланде часто

https://github.com/manatki/manatki/blob/148065b725640b3edc6e77c3aa8c7224ebe19cd6/src/main/scala/manatki/data/tagless/data/ListP.scala#L17

короче тут не стрелочки
тут та самая профункторная моя тема

идея представить любой рекурсивный тип в виде Layer[P]
само по себе это даст уже очень мощный субтайпинг между рекурсивными структурами
имя ProCorepresentable автоматически открывает многие возможности, близкие к рекурсивным схемам
а имея ProTraverse, полагаю делает представление эквивалентное рекурсивным схемам, включая возможность стексейфового обхода\собирания\пересобирания в любой форме

понимаю, что задолбал уже

но мне кажется, это новая фишка, никто такого не делал ещё

т.е. с одной стороны тут будут возможности равносильные инишл типам, т.к. можно будет а-ля патер-матчить

с другой можно будет там субтайпинг, ну тут понятно, бесконечный стрим подтип списка , какие-то поддеревья подтипы супердерева, имеющего те и другие узлы

ну и стретьей, по-моему все возможные абракадабраморфизмы тоже можно реализовать на этих профункторах

т.е. вместо того чтобы описывать структуру данных типа

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] твои возможности безграничны

соответственно можно и

Bar(left: List[Foo], right: Option[Foo])

пока там внутри траверсальные штуки над рекурсивной ссылкой - у тебя всё в порядке