Refinements on the http4s stage