Aux

BodyReader HeaderReader

accumulator

BodyReader

apply

BodyReader HeaderReader MonadicAction