Monads List, Set, Stream and Amb are instances of generic monad Sequence.
Added pattern for streams.
Documented Sequence, List and Stream monads.
Excluded Set monad (left as an example). Continued documentation.