Re: [Haskell-beginners] Using QuickCheck to verify that an expression can always be evaluated

  property $ w `seq` True

(replace seq with a stronger evaluation forcer if necessary)

Thank you, that's exactly what I was looking for.