Appropriate given the response any criticism of Haskell elicits.

> strict pragma is not an admission of mistake anymore than any pragma and language extension is an admission of mistake. It's a feature, dammit.

A feature that likely wouldn't exist without Idris offering such a compelling, strict alternative to Haskell.

> I personally prefer strict-by-default evaluation to laziness for production code

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.