Wondering what `ReadableStream` and other streaming data structures are instances of. https://hackage.haskell.org/package/lazysmallcheck-0.6/docs/Test-LazySmallCheck.html#t:Serial https://hackage.haskell.org/package/Stream-0.4.7.2/docs/Data-Stream.html