add: LazyIterator
add: Maybe