tfp-0.7: Type-level integers, booleans, lists using type families
Types.Base
Description
Type-level numerical operations using type families.
type family Id x Source
_T :: aSource