1:- multifile error:has_type/2.    2error:has_type(Type, Term) :-
    3  (clause(quickcheck:has_type(Type, _), _) -> 
    4    quickcheck:has_type(Type, Term)
    5    ;
    6    % verify there is a composite of the given type
    7    clause(composite(Type, _, _), _),
    8    % run the composite backwards
    9    composite(Type, Arbitraries, Term),
   10    % verify base values are of proper types
   11    forall(member(ArbValue:ArbType, Arbitraries), is_of_type(ArbType, ArbValue))
   12  )