| WEQ | Data.Type.Witness.General.Order, Data.Type.Witness |
| WGT | Data.Type.Witness.General.Order, Data.Type.Witness |
| witApplyConcatRefl | Data.Type.Witness.Specific.ApplyStack, Data.Type.Witness |
| withAllConstraint | Data.Type.Witness.General.AllConstraint, Data.Type.Witness |
| withConcatIs | Data.Type.Witness.Specific.Concat, Data.Type.Witness |
| withHRefl | Data.Type.Witness.General.TestHetEquality, Data.Type.Witness |
| withRefl | Data.Type.Witness.Apply, Data.Type.Witness |
| withRepresentative | Data.Type.Witness.General.Representative, Data.Type.Witness |
| withSomeAllConstraint | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| withSubrepresentative | Data.Type.Witness.General.Representative, Data.Type.Witness |
| WitnessConstraint | Data.Type.Witness.General.WitnessConstraint, Data.Type.Witness |
| witnessConstraint | Data.Type.Witness.General.WitnessConstraint, Data.Type.Witness |
| WitnessMapFor | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForAdd | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForFold | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForFromList | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForLookup | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForMapM | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForModify | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForRemove | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForReplace | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForSingle | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| witnessMapForToList | Data.Type.Witness.Specific.WitnessMap.For, Data.Type.Witness |
| WitnessMapOf | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessMapOfAdd | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessMapOfFold | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessMapOfFromList | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessMapOfLookup | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessMapOfModify | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessMapOfRemove | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessMapOfReplace | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessMapOfSingle | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessMapOfToList | Data.Type.Witness.Specific.WitnessMap.Of, Data.Type.Witness |
| witnessToValue | Data.Type.Witness.General.WitnessValue, Data.Type.Witness |
| WitnessTypeList | Data.Type.Witness.General.ListElement, Data.Type.Witness, Data.Type.Witness |
| WitnessValue | Data.Type.Witness.General.WitnessValue, Data.Type.Witness |
| WitnessValueType | Data.Type.Witness.General.WitnessValue, Data.Type.Witness, Data.Type.Witness |
| WLT | Data.Type.Witness.General.Order, Data.Type.Witness |
| WOrdering | Data.Type.Witness.General.Order, Data.Type.Witness |
| wOrderingToOrdering | Data.Type.Witness.General.Order, Data.Type.Witness |