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