Yes, but not because laziness was a technical failure, but for something more resembling PR reasons. Haskell's laziness by default ends up being a large stumbling block for many developers not used to thinking in that way.
Although I understand why Idris is strict by default, there is a part of me that dies a little from that understanding :(
It's not so much a PR failure, as an ergonomics issue -- making laziness the default makes it too easy for people to create performance problems for themselves.
Haskell's laziness undoubtedly works and is useful; you might say it was Haskell's strictness that needed improving.
/via https://news.ycombinator.com/item?id=1924061