tfp-0.3: Type-level programming library using type families
Types.Base
Description
Type-level numerical operations using type families.
type family Id x Source
_T :: aSource