A: Evaluation order, ghc versus hugs, lazy vs. strict

[Hal Daume III]

> >      -- strictness annotation, to be used as
> >      --   f a x | strict a, deepStrict x = annotation
> >      --   f a x = the_true_function_body
> >      strict a = seq a False
> 
> The 'False' her is rather arbitrary, or am I missing something?

It must be 'False', to prevent the body = 'annotation' = 'undefined' from
getting evaluated.