Data.Witness.Representative

class Eq1 p

isWitnessRepresentative

class Representative rep

withRepresentative

class Is rep a

getRepresentative

rerepresentative

mkAny

mkAnyF