Proposal: making inits and tails less strict

[Henning Thielemann]

On Fri, 18 Mar 2011, Isaac Dupree wrote:

> On 03/18/11 04:06, Bas van Dijk wrote:
>>
>> prop_lazyInits xs = head (inits xs) == []
>> ...
>
> By the way, QuickCheck can't really check laziness properties.

Sure it can. How about

prop_lazyInitsUndefined = head (inits undefined) = []

?