solve "4 Lazy IO"