Simplified examples/recursive.ml using lazy.