#include <iostream>
#include <typeinfo>

using namespace std;

template <typename T1, typename T2>
void f(T1 x, T2 y)
{  
  cout<<"arguments "<<x<<" "<<y<<"\n";
  cout<<"types     "<<typeid(x).name()<<" "<<typeid(y).name()<<"\n";
}

int main()
{
  f(1,3);
  f(10.12,5);
  string a="oops";
  double b=123.45;
  f(a,b);
  f("obs",1);
}
// To get type in human readable (?) form, try
// a.out | c++filt -t