anchor.diff:  
   -export_type([
       text/0,
  +    unsafe_text/0,
       maybe_text/0,
  +    maybe_unsafe_text/0,
       maybe_binary/0,
       maybe_iodata/0,
   
  
positive.code: ]).
  
  -type text() :: iodata() | {trans, list( {atom(), binary()} )}.
  -type maybe_text() :: undefined | text().
  -type maybe_binary() :: undefined | binary().
  -type maybe_iodata() :: undefined | iodata().
  
  
negative.code: 
  
  %% @doc Ensure that a string is escaped so that it is valid within HTML/ XML.
  -spec escape_check( maybe_unsafe_text() ) -> maybe_text().
  escape_check({trans, Tr}) when is_list(Tr) ->
      Tr1 = lists:filtermap(
          fun
  