tfp-0.8: Type-level integers, booleans, lists using type families

Safe HaskellSafe-Inferred

Types.Data.Num.Decimal

Documentation