If I have this right, Stream is a monad transformer.<br>Stream s m t means that it parses &#39;s&#39;, is stacked with monad &#39;m&#39; and has a result of type &#39;t&#39;<br><br>So Identity is a monad, the simplest monad, defined as such:<br>