Sandbox: sketch Traversable; the current data type system is not powerful enough to express this type class. ouch
Move the Lazy data type from the sandbox to the library.