Note that lazy / eager is just a default : it just take more lines of code to write lazy datastructures (such as Okasaki's ones).