Could Streams be monads?

[ivanperez-keera]

A while back we were asked whether Stream could be a Monad.

With the current type class constraints, it can't, because you can't store any a in a Stream a. However, it could perhaps be if we use a form of constrained monad with RebindableSyntax, or if we make Stream a fully polymorphic in a.