> Hi Rafael, I recently posted an example of using function types, see:

Thanks Adrian, but I couldn't see how it helps to make a
function specialize on its (higher-order) function parameter (and
possibly inline it).

Reply via email to