[Haskell-beginners] QuickCheck 2 entering infinite loop

[Dominic Mulligan]

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