Data.LazyList: convert tab in spec