I have a function description like that:

-spec match_evaluator(ReplaceFun, Text, Regex) -> Result
   when ReplaceFun :: function(),
        Text :: string(),
        Regex :: string(),
        Result :: string().

match_evaluator(ReplaceFun, Text, Regex) ->

I would like to add a more detailed description of the parameters of the parameter ReplaceFun . ReplaceFun is a link to a function.
Something like that:

-type replace_fun(string(),[string()]) :: {string(), non_neg_integer()}.
% : bad type variable

I would like to define this type correctly (a function with two parameters and return type). Please, tell me how to correctly describe the type of this function.