ParentFull threadcpa·Haskell calls it Ord, for ordinal. https://en.m.wikipedia.org/wiki/Ordinal_data_typeView on HN