Open
Description
Very much a low-priority feature especially as it is platform-dependent, but it would be nice to utilize Top Byte Ignore on supported platforms such that we don't have to shift away the tag of tagged pointers. Might even make sense to move even more information such as the full ctor tag (as done by GHC I believe) into the byte, which may or may not be fruitful for x86 as well.