Pair Type tag is now contained in pointer