Test.LeanCheck.Function.ListsOfPairs
(-->>)
exceptionPairs