Just about every eagerly evaluated functional language supports laziness through thunks. This is just syntactic sugar.