Solve our little problem using typeid