inits package:Stream

The inits function takes a stream xs and returns all the finite prefixes of xs. Note that this inits is lazier then Data.List.inits:
inits _|_ = [] ::: _|_
while for Data.List.inits:
inits _|_ = _|_