Para definir generadores propios para nuestros tipos de datos utilizamos la Clase "Arbitrary".