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 |