printing out type for debugging