ИО
F HasContext SubContext имея F HasContext Context?Size: a a a
ИО
F HasContext SubContext имея F HasContext Context?ИО
case class Context(sub: SubContext)D
λ
F HasContext SubContext имея F HasContext Context?ИО
K
K
D
K
K
K
Oℕ
𝛈µ
Oℕ
Oℕ
K
K
izumi.reflect.Tags.Tag в izumi.reflect.Tag - перенос𝛈µ
𝛈µ