Properly annotate the Type of Types