tfp-1.0.1: Type-level integers, booleans, lists using type families
Type.Data.Num.Decimal
module Type.Data.Num.Decimal.Literal
module Type.Data.Num.Decimal.Number