Data.LazyList: add spec