Test.LeanCheck.Function