Re: [Haskell-beginners] QuickCheck 2 entering infinite loop

Dear Brent, Thanks for the reply. The type of args is [Type a]. Ascribing a specific type, like so: prop_InjectTypeConFreeVars :: [Type String] -> Bool prop_InjectTypeConFreeVars args = (freeTypeVars . (tyCon "Fun")) args == (concatMap freeTypeVars args) Leads to the same problem; quickCheck is brought to its knees after about 6 tests. Regards, Dominic