Test.Check.Derive