Functor Class Template - 3

template < typename R , class TList >
class Functor
{
  typedef R ResultType;
  typedef TList ParmList;
  typedef typename TypeAtNonStrict<TList,0,EmptyType>::Result Parm1;
  typedef typename TypeAtNonStrict<TList,1,EmptyType>::Result Parm2;
  typedef typename TypeAtNonStrict<TList,2,EmptyType>::Result Parm3;
  ... as before ...

};