Dmitry

Не подскажите как заставить такое протайпчекаться? Есть isHidden :: forall a. (KnownBool (Elem Hidden (Options a)), Field a) => a -> Bool isHidden field = boolVal $ Proxy @(E...

А как в серванте можно отдать некоторый файл из хендлера?

Ни у кого не было проблем с - в urlencoded-формах в снапе? Вот с такой формой PUT-метод возвращает 404: memberId=278&balanceDelta=-1&reason= А с такой: memberId=278&balanceD...

Такой вопрос, почему let Just (a :: Int) = Nothing и Just (a :: Int) <- pure Nothing имеют разный эффект?

А как идея с хаскельплагином в плане remote-разработки по SSH?

Понял. Но как тогда поступить? В SomeField что-то докинуть, чтобы он держал только Field с таким констреинтом?

Я не понимаю почему оно не всегда верно. Разве семейство с каендом a -> [a] -> Bool может вернуть что-то кроме KnownBool?

Спасибо, а можно что-нибудь придумать, чтобы это «обойти»?

а в квазиквот можно семиколон как-нибудь запихнуть?