Test.Tasty.SmallCheck.Setter