Переставляя хендлеры можно оба варианта получить

почему во wreq responseBody чистый

они там lazy io прячут? нехорошо же?

Он читает всё

Где-то в доке написано

я тут узнал, что хаскельные экзистенциальные типы становятся полноценными сигмами (зависимыми туплами), если их запромоутить на тайп-левел

Так же как сам хттп клиент

Покажи

ну вроде ожидаемо, на тайплевеле же вроде почти работающие завтипы, зачем там делать узкий кейс экзист типов, если можно просто сигму сделать

это должно быть и проще сделать

к примеру, имея

data Some f = forall a. Some (f a)
data TyNameRep (kind :: GHC.Type) = TyNameRep Symbol Nat

можно написать такое:

class KnownPolytype (binds :: [Some TyNameRep]) term args res a | args res -> a, a -> res where
    knownPolytype :: Proxy binds -> TypeScheme term args res

instance (KnownSymbol name, KnownNat uniq, KnownKind kind, KnownPolytype binds term args res a) =>
            KnownPolytype ('Some ('TyNameRep @kind name uniq) ': binds) term args res a where
    knownPolytype _ = TypeSchemeAll @name @uniq @kind Proxy $ \_ -> knownPolytype (Proxy @binds)

KnownPolytype по сути определен "рекурсией" по первому аргументу типа [Some TyNameRep], где Some экзистенциально упаковывает кайнд. Так вот в инстансе мы матчим по 'Some и хаскель позволяет достать kind через тайп-левельный тайп-апликейшон и даже позволяет сделать по этому kind констрейт KnownKind (кастомный класс, не из бейз). То есть мы сначала упаковали в экзистенциальный тип, а потом распаковали и используем экзистенциальную переменную в вычислениях. На уровне значений пришлось бы упаковывать переменную вместе с констрейнтом, иначе когда ее оттуда достаешь, все информация потеряна и ничего о переменной уже сказать нельзя

Ну может это и не прям полноценные сигмы, но где-то близко.

но хоть и ожидаемо, я об этом не знал, и даже не знал что их можно промоутить

data Some f = forall a. Some (f a)
data TyNameRep (kind :: GHC.Type) = TyNameRep Symbol Nat

class KnownPolytype (binds :: [Some TyNameRep]) term args res a | args res -> a, a -> res where
    knownPolytype :: Proxy binds -> TypeScheme term args res

instance (KnownSymbol name, KnownNat uniq, KnownKind kind, KnownPolytype binds term args res a) =>
            KnownPolytype ('Some ('TyNameRep @kind name uniq) ': binds) term args res a where
    knownPolytype _ = TypeSchemeAll @name @uniq @kind Proxy $ \_ -> knownPolytype (Proxy @binds)

Красиво, спасибо

нет

http-cleint умеет выдавать stream

и http-conduit это юзает

я не знал даже то, что гхц позволяет писать определения типа

data TyNameRep (kind :: GHC.Type) = TyNameRep Symbol Nat

Умеет

учитывая, что Symbol и Nat живут только на тайп левеле

Но по дефолту боди читается весь