DM
HasContext (который, на сколько я понимаю, не очень обкатан), либо брать Env, который с ТФ не оч.Size: a a a
DM
HasContext (который, на сколько я понимаю, не очень обкатан), либо брать Env, который с ТФ не оч.λ
A
A
AT
ᛒ
w
AT
λ
A
DM
A
AT
A
A
ᛒ
λ
A
DM
KS
HasContext (который, на сколько я понимаю, не очень обкатан), либо брать Env, который с ТФ не оч.