the-stream-endofunctor-has-a-terminal-coalgebra