Resolving to different types based on the argument types of a c++ template function

Question

I\'m doing some metaprogramming and I have ran into the following problem:

I have a class that takes one template parameter T, T can be assumed to be a function with an a