R
Size: a a a
R
АГ
Free
оно будет сподручнее, но тогда получится, что есть и FT и кусок от HFM, но возможно так все равно удобнее.QuantifiedConstraints
где-нибудь. Вроде как они не протекают явно в код юзера, но сравнительно новым фичам в хаскеле доверять сложно. Но эти App
и не нужны, forall m. MonadApp m => m ()
ничем не хужеR
АГ
AV
AV
AV
A
A
LO
R
АГ
АГ
АГ
KV
АГ
АГ
АГ
АГ