Infinite data structures sound impossible. Professor Graham Hutton shows how laziness can win them over.