It's cool to see a minimal implementation of the lazy evaluation semantics