&gt; Nice username!<p>Appropriate given the response any criticism of Haskell elicits.<p>&gt;  strict pragma is not an admission of mistake anymore than any pragma and language extension is an admission of mistake. It&#x27;s a feature, dammit.<p>A feature that likely wouldn&#x27;t exist without Idris offering such a compelling, strict alternative to Haskell.<p>&gt; I personally prefer strict-by-default evaluation to laziness for production code<p>So would I, which is why I wrote off the language, and why the GHC devs have had to back-peddle and add this pragma.