functor (Translate : GettextTranslate.TRANSLATE_TYPE) ->
  functor (Charset : GettextCharset.CHARSET_TYPE) ->
    functor (Locale : GettextLocale.LOCALE_TYPE) -> GettextTypes.REALIZE_TYPE