Data.Stream.Future
data
Future
a
tail
length
index