Index - R
| R | Data.Type.Disjunction |
| R' | Data.Type.Disjunction |
| Read1 | Type.Class.Higher |
| Read2 | Type.Class.Higher |
| Read3 | Type.Class.Higher |
| readMaybe1 | Type.Class.Higher |
| readMaybe2 | Type.Class.Higher |
| readMaybe3 | Type.Class.Higher |
| reads1 | Type.Class.Higher |
| reads2 | Type.Class.Higher |
| reads3 | Type.Class.Higher |
| readsPrec1 | Type.Class.Higher |
| readsPrec2 | Type.Class.Higher |
| readsPrec3 | Type.Class.Higher |
| Refl | Type.Class.Witness, Data.Type.Index.Trans |
| Refuted | Type.Class.Witness |
| remIx | Data.Type.Remove |
| remLen | Data.Type.Remove |
| Remove | Data.Type.Remove |
| remProd | Data.Type.Remove |
| remSub | Data.Type.Remove |
| remSum | Data.Type.Remove |
| Reverse | Type.Family.List |
| reverse' | Data.Type.Product |
| reverseCong | Type.Family.List |
| reverseF | Data.Type.Product.Lifted |
| rightCong | Type.Family.Either |
| RR | |
| 1 (Type/Class) | Data.Type.Combinator |
| 2 (Data Constructor) | Data.Type.Combinator |
| RS | Data.Type.Remove |
| RZ | Data.Type.Remove |