Unlifted data types

[Richard Eisenberg]

On Sep 9, 2015, at 8:40 AM, Simon Peyton Jones <simonpj at microsoft.com> wrote:

> Can you be more specific?  What does "gloss over" mean?

I mean that, for example, `length` will work over both strict lists and lazy lists. It will infer the strictness of its argument through ordinary type inference. So users have to be aware of strictness, but they will be able to use the same functions in both cases.

Richard