Data.Promise

data Lazy s a

runLazy

runLazy_

data Promise s a

promise

promise_

(!=)

demand

data BrokenPromise