AS
У меня чот пока не получается сформировать интуицию на счёт того, как процесс док-ва происходит в Isabelle.
А в примерах везде apply auto. Что не помогает.
Я прав, что тут инстропекция невозможна, потому что... ну даже
ArrChoice нет поблизости? private[zio] final class Pure[+E, -A, +B](val run: A => IO[E, B]) extends ZArrow[E, A, B] {}
private[zio] final class Impure[+E, -A, +B](val apply0: A => B) extends ZArrow[E, A, B] {
