Lazy Evaluation erlaubt es in Gofer unendliche Datenstrukturen darzustellen. Z. B. könnte die unendliche Liste der Quadratzahlen aller natürlichen Zahlen wie folgt dargestellt werden:
powersofTwo = 1 : map double powersofTwo
where double n = 2 ^ n