Lots of people are fond of pointing this out, but very few are actually able to reason about performance of lazy data structures.