functor
(
P
:
PROFILE
) (
G
:
Netsys_gssapi
.
GSSAPI
)
->
Nethttp
.
HTTP_CLIENT_MECHANISM