x и что-нибудь типаа
analyze :: ∀ f eff a₀ b₀ r. (Applicative f, Monoid r)
⇒ (∀ a b. eff a b → f r)
→ FreeA eff a₀ b₀ → f r
?
Нет. Хочу Text не на utf16
Обсуждают сегодня