On Jun 25, 2011, at 10:14 AM, Vesa Kaihlavirta wrote: > I think laziness (IO and otherwise) would be perfect if only it was > visible somehow. Perhaps it could be signified by a type in some > future Haskell? Laziness is visible in Haskell. Everything is lazy by default. Anything that is strict has a separate annotation.