Oℕ
(class, trait) A derives Foo
транслируется в given Foo[A] = Foo.derivedSize: a a a
Oℕ
(class, trait) A derives Foo
транслируется в given Foo[A] = Foo.derivedOℕ
СП
OA
ЮБ
OA
ЮБ
(class, trait) A derives Foo
транслируется в given Foo[A] = Foo.derivedЮБ
СП
СП
AS
AD
GP
EK
λ
EK
EK
λ
GP
EK