Type Transformation and Constraints

Perform meta-programming arithmetic constrained by type categories.