add Ivory.QuickCheck.Testable