Господа, подскажите пожалуйста, как это понимать? Если с необычным GADT'шным
синтаксисом, объединенным с рекордами, вроде понятно, то с параметрами, которые берутся из ниоткуда, понять не могу. Что здесь означают captures, auth, contentType и почему они не вынесены в параметры data вместе с env и c? Спасибо