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 |
| reverseF | Data.Type.Product.Dual |
| RR | |
| 1 (Type/Class) | Data.Type.Combinator |
| 2 (Data Constructor) | Data.Type.Combinator |