modeling out of memory

[Cagdas Ozgenc]

Greetings,   1) How does one model "out of memory" condition in Haskell, perhaps using a Maybe type? 2) Could you give an intutive description of data construction, and how it relates to lamda calculus?   Thanks