implicits
Stream
droste
increment
coalgebras