Class SingleParameterTypedFirstOrderFunction<RETURN_T extends Value,​PARAM_T extends Value>