Index - R
| Refl | Data.Type.Witness | 
| reflId | Data.Type.Witness.Apply, Data.Type.Witness | 
| reflId1 | Data.Type.Witness.Apply, Data.Type.Witness | 
| Representative | Data.Type.Witness.General.Representative, Data.Type.Witness | 
| representative | Data.Type.Witness.General.Representative, Data.Type.Witness | 
| rerepresentative | Data.Type.Witness.General.Representative, Data.Type.Witness | 
| RestElementType | Data.Type.Witness.Specific.List.Element, Data.Type.Witness | 
| RightType | Data.Type.Witness.Specific.Either, Data.Type.Witness |