1
{- Author: Pascal Stoop, ETH Zurich
2
Author: Andreas Lochbihler, Digital Asset -}
3
4
module Lazy(Lazy, delay, force) where
5
6
newtype Lazy a = Lazy a
7
delay f = Lazy (f ())
8
force (Lazy x) = x