It would be good if there was a way to adapt or extend the current request conversion which is hidden down in Http4sServlet if you want to extract additional attributes or populate the remote user for example.
If it was possible to pass a (HttpServletRequest, Request) => ParseResult[Request] or maybe allow effects and return F[ParseResult[Request]] to the builder/apply that would work well I think.
It would be good if there was a way to adapt or extend the current request conversion which is hidden down in Http4sServlet if you want to extract additional attributes or populate the remote user for example.