Test.LeanCheck.Function.ListsOfPairs
functionPairs
associations
pairsToFunction
defaultFunPairsToFunction