Removed default printing of infered type, is now a parameter of the function