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