Data.Witness.Any

data Any w

matchAny

data AnyF w f

matchAnyF

data AnyWitness w

matchAnyWitness