Test.LeanCheck.Function.ListsOfPairs
functionPairs
associations