Functor Class Template

template < typename R , class TList = NullType> // return type, argument list
class Functor
{
  ... // first class value semantics
  ... // wrapper for polymorphic class FunctorImpl
};