strict bits of datatypes

[Jón Fairbairn]

apfelmus at quantentunnel.de writes:

> Jón Fairbairn wrote:
> > apfelmus at quantentunnel.de writes:
> > 
> >> Besides, having
> >>
> >>   let q = FinCons 3 q in q
> >>
> >> not being _|_ crucially depends on memoization. 
> > 
> > Does it?
> PS: Your derivations are fine in the case of a non-strict FinCons. But
> the point is to make in strict.

Yes, I was trying to be subtle but was too sleepy and lost
the plot.  

-- 
Jón Fairbairn                                 Jon.Fairbairn at cl.cam.ac.uk