Template parameters of function type with auto return type arguments of previous template parameter types

Question

I have a template with two parameters: the first is a type, and the second is a function pointer with an argument whose type is the first template parameter. This MCVE works: