Index - R
| R | Data.Type.Disjunction |
| R' | Data.Type.Disjunction |
| Refl | Type.Class.Witness |
| Refuted | Type.Class.Witness |
| Reverse | Type.Family.List |
| reverse' | Data.Type.Product |
| RR | |
| 1 (Type/Class) | Data.Type.Combinator |
| 2 (Data Constructor) | Data.Type.Combinator |
type-combinators-0.1.0.0: A collection of data types for type-level programming.