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

[Amy de Buitléir]

>   property $ w `seq` True
>
> (replace seq with a stronger evaluation forcer if necessary)

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