System.IO.Lazy

data T a

run