Test.LeanCheck.Function.Eq