functor (P : PROFILE-> Nethttp.HTTP_CLIENT_MECHANISM