toMatch
ArbitraryArities
ArbitraryInstances