Documentation

The tag on a pointer (from the dynamic-tagging paper)

Tag bits mask / maximum pointer tag value, derived from the number of tag bits on the platform.

Tag bits mask / maximum pointer tag value, derived from the number of tag bits on the platform.

Is a data type family small enough that each constructor can get its own pointer tag?