Test stream programming using Haskell's `QuickCheck`pipes is a stream programming library built on top of a foundation of basic category theory. The core of the library consists of a set of five categories that all intersect in a single streaming data type and the library's contract is the set of associated category laws. For example, one such category is the "respond category", which pipes uses to implement for loops and ListT. The two key operati
