The Enum module is greedy, the Stream module is lazy