invalid argument types for function iff