We print the infered type