Why would someone expect to bang head against “laziness bugs”??? Lazy evaluation works out in strictly more cases thand strict, so more programs work, that’s basically the whole point of it.
The only downside of laziness I’ve ever even heard of is that in large long-lived processes with mutable state it is possible to create “space leaks” by accident when using lazy evaluation + lazy data structures. This comes up only in this particulr class of program, and won’t matter for most users.
I haven’t written a line of PureScript in 2 or 3 years I think, and I am glad this language is still moving forward!