Doubt regarding Types