Test.LeanCheck.Derive