Type-level (low cardinality) integers for Haskell based on type families.