Data.Witness.Representative
class Eq1 p
isWitnessRepresentative
class Representative rep
withRepresentative
class Is rep a
getRepresentative
rerepresentative
mkAny
mkAnyF