Oℕ
Size: a a a
Oℕ
Oℕ
λ
Oℕ
KC
λ
w
λ
KS
F[List[Fiber[F, Unit]]] и успешные с первой попытки вычисления оформлять как Fiber(unit, unit)F[List[Option[Fiber[F, Unit]]]], успешные с первой попытки будут None, неуспешные Someᛒ
ᛒ
Oℕ
Oℕ
Oℕ
Oℕ
F[List[Fiber[F, Unit]]] и успешные с первой попытки вычисления оформлять как Fiber(unit, unit)F[List[Option[Fiber[F, Unit]]]], успешные с первой попытки будут None, неуспешные Someᛒ
w
Oℕ
F[List[Fiber[F, Unit]]] и успешные с первой попытки вычисления оформлять как Fiber(unit, unit)F[List[Option[Fiber[F, Unit]]]], успешные с первой попытки будут None, неуспешные SomeOℕ