tfp-0.1: Type-level programming library using type families

Types.Data.Num.Decimal.Literals

Documentation

type D8612 = Dec (:. (:. (:. (:. DecN Dec8)