HistoryFilter

ReadlineFilters

head

LazyList

headThunk

LazyList

history

HistoryFilter