tfp-0.7: Type-level integers, booleans, lists using type families
Types.Data.Num.Decimal
module Types.Data.Num.Decimal.Digits
module Types.Data.Num.Decimal.Literals